Sumit Kumar Jha

Computer Science


Harris Engineering Center (bldg. 116) 255



  • Charles N. Millican Assistant Professor of Computer Science, EECS Department


  • Editor, Journal of Information Technology and Software Engineering
  • Program Committee, ICCABS 2012, 2013, 2014
  • Program Committee, BioMedCom 2012, 2013


  • Chair, IEEE Computer Society Orlando Chapter
  • Quantitative Modeling, Analysis and Synthesis Laboratory


  • Knights Cricket Club


Ph.D. Computer Science Carnegie Mellon University

B.S. B Tech (Honors) Indian Institute of Technology Kharagpur

Certificate Quantitative Finance Fitch and 7City Learning

Research Interests

Computational Modeling, Stochastic Systems, Cyber-Physical Systems, Crossbar Computing, Computational Systems Biology, Data Analytics, Formal Methods, High-Performance Computing

Selected Publications

  • A bayesian approach to model checking biological systems SK Jha, EM Clarke, CJ Langmead, A Legay, A Platzer, P Zuliani Computational Methods in Systems Biology, 218-234
  • Reachability for linear hybrid automata using iterative relaxation abstraction SK Jha, BH Krogh, JE Weimer, EM Clarke Hybrid Systems: Computation and Control, 287-300
  • When to stop verification?: Statistical trade-off between expected loss and simulation cost SK Jha, CJ Langmead, S Mohalik, S Ramesh Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011, 1-6
  • Parameter estimation and synthesis for systems biology: New algorithms for nonlinear and stochastic models S Jha, A Donze, R Khandpur, J Dutta-Moscato, Q Mi, Y Vodovotz, C Langmead. Journal of critical care 26 (2), e8
  • Big-Data-Driven Control Strategies for Complex Networks N Deo, SK Jha Journal of Information Technology & Software Engineering
  • Quantifying Uncertainty in Epidemiological Models A Ramanathan, SK Jha Oak Ridge National Laboratory (ORNL); Center for Computational Sciences