Faraz Hussain at Iowa State U.

Faraz Hussain

I am a graduate student in the EECS department at the University of Central Florida. My advisors are Prof. Sumit K. Jha and Prof. Gary T. Leavens. I completed my M.S. in Computer Science from the Iowa State University under the supervision of Prof. Leavens. My undergraduate degree is from the Birla Institute of Science and Technology, Pilani, India.

Research Interests

Specification, anlaysis, verification and synthesis of stochastic models. Design and implementation of programming languages and tools for formal verification.



Professional Activities


Contact Information

Faraz Hussain
354 Harris Center (Bldg. 116)
Department of Electrical Engineering and Computer Science
University of Central Florida
Email: fhussain (at) eecs (dot) ucf (dot) edu

Last updated: July 2014.

Valid HTML 4.01 Strict