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.
specification and verification of sequential and concurrent software models,
extensible compiler construction.
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
Masters Thesis, Iowa State University, Apr. 2009. (Advisor: Prof. Gary T. Leavens)
(ISU Digital Repository)
- 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).
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 $