Sumit Kumar Jha

407-882-2215

jha@eecs.ucf.edu

Harris Engineering Center (bldg. 116) 253

http://www.sumitkumarjha.com

Positions

UCF

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

Editorial

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

Leadership

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

Advisor

  • Knights Cricket Club

Education

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