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. Gary T. 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 programming languages and tools for formal verification.

Publications

Teaching

Awards

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: December 2013.

Valid HTML 4.01 Strict