Hello ! I am currently a sixth year PhD student at the Department of Computer Science at Carnegie Mellon University.
Before coming to Carnegie Mellon, I was an undergraduate student at the Indian Institute of Technology Kharagpur. I hail from the middle state of Bihar in India (close to the birthplace of Buddha).
Important Research Results:
- New Sumit K. Jha, Edmund M. Clarke, Christopher J. Langmead, Axel Legay, Andre Platzer, Paolo Zuliani
Bayesian Model Checking in Systems Biology CMSB 2009
[Download PDF] - Distributed Statistical Model Checking : Applications to the T Cell Receptor Pathway(with Ed Clarke, James Faeder, Chris Langmead, Leonard Harris and Axel Legay) CMSB 2008
[Download PDF] - New Path Oriented Reachability Analysis of Convex Nonlinear Hybrid Automata (with Lei Bu, Ed Clarke and Xuandong Li) [Submitted. Extends our BMC 2006 paper]
- Sumit Kumar Jha:
Numerical Simulation guided Lazy Abstraction Refinement for Nonlinear Hybrid Automata In arXiv:cs/0611051 [ps, pdf, other] Subjects: Logic in Computer Science (cs.LO)
This paper is #3 on a google search for the theme of the paper "nonlinear hybrid automata". Sumit Kumar Jha, Edmund M. Clarke, Bruce H. Krogh, Jim Weimer, Alhad Arun Palkar :
Iterative Relaxation Abstraction (IRA) for Linear Hybrid Automata. In Proceedings of HSCC 2007 (Lecture Notes in Computer Science) [ Download PDF ]The technique presented in this paper scales to linear hybrid automata with over a hundred continuous variables.
Christopher Langmead and Sumit K Jha:
Temporal Logic Model Checking of Protein Folding Pathways. In Proceedings of WABI 2007 (Lecture Notes in Bioinformatics). [Download PDF ]
