Faraz Hussain Graduate Student EECS Department University of Central Florida Advisors: Gary T. Leavens and Sumit K. Jha

Education

B.E. (Hons.) in Computer Science: Birla Institute of Science and Technology, Pilani, India.
M.S. in Computer Science: Iowa State University, Ames, IA.

Research Interests

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

Papers

• Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead and Susmit Jha.
  Parameter Discovery for Stochastic Biological Models against Temporal Behavioral Specifications using an SPRT based Metric for Simulated Annealing (doi) (bib)
  In Proceedings of the 2nd International Conference on Computational Advances in Bio and Medical Sciences (23–25 Feb., 2012, Las Vegas, NV), IEEE Computer Society Press.
  
  
• Arup K. Ghosh, Faraz Hussain, Sumit K. Jha, Christopher J. Langmead and Susmit Jha.
  Decision Procedure Based Discovery of Rare Behaviors in SDE Models of Biological Systems: Applications to Minimal Cell Cycle Model (doi) (bib)
  In Proceedings of the 2nd International Conference on Computational Advances in Bio and Medical Sciences (23–25 Feb., 2012, Las Vegas, NV), IEEE Computer Society Press.
  
  
• Faraz Hussain and Gary T. Leavens.
  temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties. (doi) (bib)
  In Proceedings of the 8th International Conference on Software Engineering and Formal Methods (14–18 Sept., Pisa, Italy), pp. 63–72, IEEE Computer Society Press.
  
  
• Ghaith Haddad, Faraz Hussain and Gary T. Leavens.
  The Design of SafeJML, a Specification Language for SCJ with Support for WCET Specification. (doi) (bib)
  In Proceedings of the 8th International Workshop on Java Technologies for Real-time and Embedded Systems (19–21 Aug., Prague, Czech Republic), pp. 155–163, ACM Press.
  
  
• Faraz Hussain.
  Enhancing a behavioral interface specification language with temporal logic features. (cs-isu-archives) (proquest) (bib)
  Masters Thesis, Iowa State University, Ames, IA, Apr. 2009. (Advisor: Prof. Gary T. Leavens)

Tools

• temporaljmlc: An extension of the Java Modeling Language compiler that allows specification of temporal properties of programs, which are checked at runtime.

Professional Service

• External reviewer for VSTTE 2012, ICCABS 2012.
• Student volunteer: OOPSLA 2009, SPLASH 2011.

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).

Awards

• Provost's Graduate Fellowship at UCF (2008/09).

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.52 2012/05/16 00:09:38 fhussain Exp $