Faraz Hussain

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

Research Interests

Stochastic systems, hybrid automata, specification and verification of sequential and concurrent software models, extensible compiler construction.

Papers

• Parameter Discovery for Stochastic Biological Models against Temporal Behavioral Specifications using an SPRT based Metric for Simulated Annealing
  Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead and Susmit Jha. ICCABS 2012. (DOI)
  
  
• Decision Procedure Based Discovery of Rare Behaviors in SDE Models of Biological Systems: Applications to Minimal Cell Cycle Model
  Arup K. Ghosh, Faraz Hussain, Sumit K. Jha, Christopher J. Langmead and Susmit Jha. ICCABS 2012. (DOI)
  
  
• temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties
  Faraz Hussain and Gary T. Leavens. SEFM 2010. (DOI)
  
  
• The Design of SafeJML, a Specification Language for SCJ with Support for WCET Specification
  Ghaith Haddad, Faraz Hussain and Gary T. Leavens. JTRES 2010. (DOI)
  
  
• Enhancing a behavioral interface specification language with temporal logic features
  Faraz Hussain. Masters Thesis, Iowa State University, Apr. 2009. (Advisor: Prof. Gary T. Leavens) (ISU Digital Repository)

Teaching

• Instructor: COP 4020 - Programming Languages I (Spring 2011).
• Teaching Assistant: Introduction to Object Oriented Programming, Advanced Programming Techniques, Programming I, Projects in Computing & Business Applications. (Iowa State University)
• Teaching Assistant: Programming Languages I, Security in Computing (University of Central Florida).

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

$Id: index.html,v 1.60 2012/08/09 17:29:03 fhussain Exp $