Sumit Kumar Jha             Click here to go to my new home page. Graduate Student Computer Science Department School of Computer Science Carnegie Mellon University

Research

• Research Interests: Model Validation, Machine Learning, Stochastic Systems, Computational Finance, Systems Biology.
  
  
• Brief Bio
• Graduate student since 2004 when I graduated with B. Tech. (Honors) in Computer Science and Engineering from IIT Kharagpur
• Advised by Professor Christopher James Langmead
• Expected Graduation: May 2010
  
  
• Publications
  
  
• C. J. Langmead and S. K. Jha, “Symbolic Approaches to Finding Control Strategies in Boolean Networks,” Journal of Bioinformatics and Computational Biology, vol. 7, no. 2, pp. 323 – 338, April 2009.
• S. K. Jha, E. M. Clarke, C. J. Langmead, A. Platzer, P. Zuliani, and A. Legay, “A Bayesian Approach to Model Checking Biological Systems,” in International Conference on Computational Methods in Systems Biology, August 2009, pp. 218–234.
• E. M. Clarke, J. R. Faeder, C. J. Langmead, L. A. Harris, S. K. Jha, and A. Legay, “Statistical model checking in Biolab: Applications to the automated analysis of t-cell receptor signaling pathway,” in 6th International Conference on Computational Methods in Systems Biology, October 2008, pp. 231–250.
• C. J. Langmead and S. K. Jha, “Predicting protein folding kinetics via temporal logic model checking,” in 7th International Workshop on Algorithms in Bioinformatics, Lecture Notes in Computer Science, R. Giancarlo and S. Hannenhalli, Eds., vol. 4645. Springer, September 2007, pp. 252–264.
• S. K. Jha, “d-IRA: A distributed reachability algorithm for analysis of linear hybrid automata,” in International Conference on Hybrid Systems Computation and Control, April 2008, pp. 618–621.
• S. K. Jha, B. H. Krogh, J. E. Weimer, and E. M. Clarke, “Reachability for linear hybrid automata using iterative relaxation abstraction,” in International Conference on Hybrid Systems Computation and Control, April 2007, pp. 287–300.
• G. Frehse, S. K. Jha, and B. H. Krogh, “A counterexample-guided approach to parameter synthesis for linear hybrid automata,” in International Conference on Hybrid Systems Computation and Control, April 2008, pp. 187–200.
• Xuandong Li, Sumit Kumar Jha, Lei Bu, “A tool for Bounded Model Checking of Linear Hybrid Automata.” In Proceedings of BMC 2006 (Electronic Notes in Theoretical Computer Science)
• S. Jha and S. K. Jha, “Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata,” in IEEE High Assurance Systems Engineering, 11th International Conference, Proceedings, December 2008, pp. 147–153.
• C. J. Langmead and S. K. Jha, “Symbolic approaches for finding control strategies in Boolean networks,” in 6th Asia-Pacific Bioinformatics Conference, ser. Advances in Bioinformatics and Computational Biology, A. Brazma, S. Miyano, and T. Akutsu, Eds., vol. 6. , Imperial College Press, January 2008, pp. 307–320.
• S. K. Jha and S. Jha, “Randomization Based Probabilistic Approach to Detect Trojan Circuits,” in IEEE High Assurance Systems Engineering, 11th International Conference, Proceedings, December 2008, pp. 117–124.
• K. Mehra, S. K. Rajamani, A. P. Sistla, and S. K. Jha, “Verification of object relational maps,” in Fifth IEEE International Conference on Software Engineering in Formal Methods. IEEE Computer Society, September 2007, pp. 283–292.
• A. Fehnker, E. M. Clarke, S. K. Jha, and B. H. Krogh, “Refining abstractions of hybrid systems using counterexample fragments,” in International Conference on Hybrid Systems Computation and Control, ser. Lecture Notes in Computer Science, M. Morari and L. Thiele, Eds., vol. 3414. Springer, March 2005, pp. 242–257.
• S. K. Jha and S. Jha, “Localizing Error in Traces with Interpolants”. Short Paper in ACM India Software Engineering Conference 2010.
• E. M. Clarke, A. Fehnker, S. K. Jha, and H. Veith, “Temporal logic model checking,” in Handbook of Networked and Embedded Control Systems, D. Hristu-Varsakelis and W. S. Levine, Eds. Birkha¨user, October 2005, pp. 539–558.
• Shengbing Jiang, Sumit Kumar Jha and Thomas Fuhrman, “Fault Isolation in Discrete Event Systems using Model Checking” In the Proceedings of 45th IEEE Conference on Decision and Control, San Diego, California.

• Current Research Projects
• ModelDiscover: Automatic Discovery of Stochastic Models using Machine Learning
• BehavioralLearning: Learning Dynamic Bayesian Networks.

Teaching

• CS 15-411: Advanced Compilers (TA), Fall 05
• CS 15-390: Entrepreneurship in Computer Science (TA), Fall 09

Past Projects

• Iterative Relaxation Abstraction: Verification of Hybrid Systems
• BioLab: Automatic Verification of Biochemical Systems

Misc

• Bio

---

Contact Info

Office: Gates Center 6008
jha+website@cs.cmu.edu

412-256-8396