Faraz Hussain
I am a PhD student in the Department of Computer Science at the University of Central Florida.
My advisors are Professors
Sumit Jha and Gary Leavens.
Contact Information
Email: fhussain (at) cs (dot) ucf (dot) edu
Research Interests

Verification and automated synthesis of computational models of probabilistic systems.

Design of programming languages and tools for formal verification.
Educational Background
Publications
 Integrating symbolic and statistical methods for testing intelligent systems: Applications to machine learning and computer vision.
Arvind Ramanathan, Laura Pullum, Faraz Hussain, Dwaipayan Chakraborty, Sumit Kumar Kha.
Design, Automation, and Test in Europe (DATE), Dresden, Germany, 2016. (Accepted.)

SANJAY: Synthesizing Visualizations of Flow Cytometry Data using Symbolic Decision Procedures.
Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Sumanta Pattanaik, Narsingh Deo, ChungChe Jeff Chang and Sumit Kumar Jha.
5th International Conference on Computational Advances in Bio and Medical Sciences,
p. 1. IEEE, October 2015.
[doi  pdf  bib]

Automated parameter estimation for biological models using Bayesian statistical model checking.
Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta DuttaMoscato, Yoram Vodovotz, and Sumit K. Jha.
BMC Bioinformatics, 16(Suppl 17):S8, 2015.
[doi  pdf  bib]

Exploiting heterogeneous parallel programming for developing an educational neuromorphic computing simulator.
Faraz Hussain, Alvaro Velasquez, Sumit K. Jha.
Proceedings of the NSF/TCPP Workshop on Education for HighPerformance Computing (EduHPC) . New Orleans, LA. November, 2014.
[EduHPC 2014  pdf 
poster  slides 
bib]

Parameter Discovery for Stochastic Computational Models in Systems Biology Using Bayesian Model Checking. [Best paper award]
Faraz Hussain, Christopher J. Langmead, Qi Mi, Joyeeta DuttaMoscato, Yoram Vodovotz, Sumit K. Jha.
Proceedings of the 4th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS),
pp. 12. IEEE, June 2014.
[doi  pdf  bib]

EpiSpec: A Formal Specification Language for Parameterized AgentBased Models against Epidemiological Ground Truth.
Faraz Hussain, Arvind Ramanathan, Laura L. Pullum, Sumit K. Jha.
Proceedings of the 4th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS),
pp. 16. IEEE, June 2014.
[doi  pdf  bib]

Putting HumptyDumpty Together: Mining Mechanistic Biochemical Models from Big Data.
Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit K. Jha.
Proceedings of the 4th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS),
pp. 16. IEEE, June 2014.
[doi  pdf  bib]

Early Adoption: HighPerformance Computing for Big Data.
Faraz Hussain, Narsingh Deo, Sumit Kumar Jha.
Proceedings of the Fourth NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar). Phoenix, AZ. May, 2014.
[EduPar 2014 
pdf 
slides 
bib]

Parameter discovery in stochastic biological models using simulated annealing and statistical model checking.
Faraz Hussain, Susmit Jha, Christopher J. Langmead, Sumit K. Jha.
International Journal of Bioinformatics Research and Applications 10(4/5), pp. 519539, 2014.
[doi  pdf  bib]

Discovering rare behaviors in stochastic differential equations using decision procedures: applications to a minimal cell cycle model.
Arup Kumar Ghosh, Faraz Hussain, Susmit Jha, Christopher J. Langmead, Sumit Kumar Jha.
International Journal of Bioinformatics Research and Applications 10(4/5), pp. 540558, 2014.
[doi  pdf  bib]

Introducing parallel programming across the undergraduate curriculum through an interdisciplinary course on computational modeling.
Narsingh Deo, Sumit Kumar Jha, Faraz Hussain and Mahadevan Vasudevan.
Proceedings of the Third NSF/TCPP Workshop on Parallel and Distributed Computing Education (EduPar). Boston, MA. May, 2013.
[EduPar 2013  pdf 
bib]

A computational metabolic model of the NG10815 cell for high content drug screening with electrophysiological readout.
Aditya Reddy Kolli, Frank Sommerhage, Peter Molnar, Jonathan E. Hood, Jerry J. Jenkins, Faraz Hussain, Arup K. Ghosh, Sumit Kumar Jha, James J. Hickman.
Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine (BCB),
pp. 530532. ACM, October 2012.
[doi  pdf  bib]

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, Susmit Jha.
Proceedings of the 2nd International Conference on Computational Advances in Bio and Medical Sciences (ICCABS),
pp. 16. IEEE, February 2012.
[doi  pdf  bib]

Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems.
Arup K. Ghosh, Faraz Hussain, Sumit K. Jha, Christopher J. Langmead, Susmit Jha.
Proceedings of the 2nd International Conference on Computational Advances in Bio and Medical Sciences (ICCABS),
pp. 16. IEEE, February 2012.
[doi  pdf  bib]

temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties.
Faraz Hussain, Gary T. Leavens.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM),
pp. 6372. IEEE Computer Society, September 2010.
[doi  pdf  bib]

The design of SafeJML, a specification language for SCJ with support for WCET specification.
Ghaith Haddad, Faraz Hussain, Gary T. Leavens.
Proceedings of the 8th International Workshop on Java Technologies for RealTime and Embedded Systems (JTRES),
pp. 155163. ACM, August, 2010.
[doi  pdf  bib]
Teaching
 Instructor: COP 4020  Programming Languages I (Spring 2011) (University of Central Florida).
 Teaching Assistant: Introduction to Object Oriented Programming, Advanced Programming Techniques, Programming I, Projects in Computing and Business Applications. (Iowa State University)
 Teaching Assistant: Programming Languages I, Security in Computing (University of Central Florida).