Faraz Hussain at Iowa State U.

Faraz Hussain

I am a PhD student in the EECS department at the University of Central Florida advised by Professors Sumit Jha and Gary Leavens. I received my M.S. in Computer Science from the Iowa State University and B.E. (Honors), also in Computer Science, 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.



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