Faraz Hussain
Assistant Professor
ECE Department
Wallace H. Coulter School of Engineering
Clarkson University


My research interests lie primarily in the following areas:





  • Graduate:
    • M. G. Sarwar Murshed
  • Undergraduate:
    • Christopher Murphy
    • Zack Damato
    • Evan Perry
    • Andrew Schmier


  • The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes
    Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
    arXiv:2003.04117 [cs.CV]
    [arXiv] [bib]

  • Hazard Detection in Supermarkets using Deep Learning on the Edge
    M. G. Sarwar Murshed, Edward Verenich, James J. Carroll, Nazar Khan, Faraz Hussain
    arXiv:2003.04116 [cs.CV]
    [arXiv] [bib]

  • FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints
    Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
    OpML 2020 (accepted)
    arXiv:2003.01538 [cs.DC]
    [arXiv] [bib]

  • Machine Learning at the Network Edge: A Survey
    M. G. Sarwar Murshed, Christopher Murphy, Daqing Hou, Nazar Khan, Ganesh Ananthanarayanan, Faraz Hussain
    arXiv:1908.00080 [cs.LG]
    [arXiv] [bib] [abstract]

  • 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 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 R. Kolli, Frank Sommerhage, Peter Molnar, Jonathan Hood, Jerry Jenkins, Faraz Hussain, Arup Kumar 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 G. 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 Kumar 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]


  • PhD, Computer Science, University of Central Florida.
    Dissertation: Techniques for automated parameter estimation in computational models of probabilistic systems
    Advisor: Sumit Kumar Jha
    [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.


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