faraz pic
Faraz Hussain
Assistant Professor
Department of Electrical & Computer Engineering
Walter H. Coulter School of Engineering
Department of Computer Science (courtesy appointment)
Clarkson University
Email: fhussain (at) clarkson (dot) edu
Office: 246 CAMP


My research interests lie primarily in the following areas:








  • 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, Chung-Che (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 Kha.
    Design, Automation, and Test in Europe (DATE), pp. 786-791, 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, Chung-Che 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 Dutta-Moscato, 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 High-Performance 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 Dutta-Moscato, Yoram Vodovotz, Sumit K. Jha.
    Proceedings of the 4th International Conference on Computational Advances in Bio and Medical Sciences (ICCABS), pp. 1--2. IEEE, June 2014.
    [doi | pdf | bib]

  • EpiSpec: A Formal Specification Language for Parameterized Agent-Based 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. 1--6. IEEE, June 2014.
    [doi | pdf | bib]

  • Putting Humpty-Dumpty 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. 1--6. IEEE, June 2014.
    [doi | pdf | bib]

  • Early Adoption: High-Performance 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. 519--539, 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. 540--558, 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 NG108-15 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. 530--532. 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. 1--6. 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. 1--6. 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. 63--72. 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 Real-Time and Embedded Systems (JTRES), pp. 155--163. ACM, August, 2010.
    [doi | pdf | bib]