My research interests lie primarily in the following areas:
 Programming languages, and software engineering
 Formal methods in computing, especially automated verification
 Anything related to compilers
 Analysis/verification/synthesis of probabilistic systems
 Systems and application programming
I am looking for PhD students.
If you're interested in any of the topics listed above,
or just want to chat about your potential research interests,
please send me an email.

A theorem proving based approach for automatically synthesizing visualizations of flow cytometry data.
[Invited paper]
Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Sumanta Pattanaik, ChungChe (Jeff) Chang and Sumit Kumar Jha.
BMC Bioinformatics, 18(Suppl 18):245, 2017.
[doi  pdf  bib]
 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 Jha.
Design, Automation, and Test in Europe (DATE), pp. 786791, Dresden, Germany, March 2016.
[publisher's link
 pdf  bib]

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.
[Invited paper]
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.
[
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]