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 Masters from the Iowa State University and undergraduate degree 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: September 2014.

Valid HTML 4.01 Strict Valid CSS!