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:





  • PhD, Computer Science, University of Central Florida.
    Dissertation: Techniques for automated parameter estimation in computational models of probabilistic systems
    Advisors: Sumit K. Jha and Gary T. Leavens
    [UCF digital repository] [pdf] [bib]

  • MS, Computer Science, Iowa State University.
    Thesis: Enhancing a behavioral interface specification language with temporal logic features
    Advisor: Gary T. Leavens
    [ISU digital repository] [pdf] [bib]

  • B.E. (Hons.) in Computer Science, Birla Institute of Science and Technology, Pilani, India.


  • 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, Jeff Chang, Sumit Kumar Jha
    BMC Bioinformatics, 18(Suppl 18):245, 2017
    [doi] [pdf] [bib] [abstract]

  • 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
    DATE 2016
    [publisher's link] [pdf] [bib] [abstract]

  • SANJAY: Synthesizing Visualizations of Flow Cytometry Data using Symbolic Decision Procedures
    Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Sumanta Pattanaik, Narsingh Deo, Chung-Che Chang, Sumit Kumar Jha
    ICCABS 2015
    [doi] [pdf] [bib] [abstract]

  • 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, Sumit Kumar Jha
    BMC Bioinformatics, 16(Suppl 17):S8, 2015
    [doi] [pdf] [bib] [abstract]

  • Exploiting heterogeneous parallel programming for developing an educational neuromorphic computing simulator
    Faraz Hussain, Alvaro Velasquez, Sumit Kumar Jha
    EduHPC 2014
    [pdf] [poster] [slides] [bib] [abstract]

  • 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 Kumar Jha
    ICCABS 2014
    [doi] [pdf] [bib] [abstract]

  • EpiSpec: A Formal Specification Language for Parameterized Agent-Based Models against Epidemiological Ground Truth
    Faraz Hussain, Arvind Ramanathan, Laura Pullum, Sumit Kumar Jha
    ICCABS 2014
    [doi] [pdf] [bib] [abstract]

  • Putting Humpty-Dumpty Together: Mining Mechanistic Biochemical Models from Big Data
    Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha
    ICCABS 2014
    [doi] [pdf] [bib] [abstract]

  • Early Adoption: High-Performance Computing for Big Data
    Faraz Hussain, Narsingh Deo, Sumit Kumar Jha
    EduPar 2014
    [pdf] [slides] [bib] [abstract]

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

  • 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] [abstract]

  • Introducing parallel programming across the undergraduate curriculum through an interdisciplinary course on computational modeling
    Narsingh Deo, Sumit Kumar Jha, Faraz Hussain, Mahadevan Vasudevan
    EduPar 2013
    [pdf] [bib] [abstract]

  • 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 Hood, Jerry Jenkins, Faraz Hussain, Arup Ghosh, Sumit Kumar Jha, James J. Hickman
    ACMBCB 2012
    [doi] [pdf] [bib] [abstract]

  • 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 J. Langmead, Susmit Jha
    ICCABS 2012
    [doi] [pdf] [bib] [abstract]

  • Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems
    Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher J. Langmead, Susmit Jha
    ICCABS 2012
    [doi] [pdf] [bib] [abstract]

  • temporaljmlc: A JML Runtime Assertion Checker Extension for Specification and Checking of Temporal Properties
    Faraz Hussain, Gary T. Leavens
    SEFM 2010
    [doi] [pdf] [bib] [abstract]

  • The design of SafeJML, a specification language for SCJ with support for WCET specification
    Ghaith Haddad, Faraz Hussain, Gary T. Leavens
    JTRES 2010
    [doi] [pdf] [bib] [abstract]