Sumit Kumar Jha

Computer Science Department, 
Carnegie Mellon University, 
5000 Forbes Avenue, 
Pittsburgh, PA 15213, 
USA 

+1-412-268-8334 
sumit.jha@cs.cmu.edu 



Educational:

Graduate Student, Carnegie Mellon University, Pittsburgh 
Model Checking group. Advisor: Edmund M. Clarke 




Qualifications:

Bachelor of Technolgy (with Honors)
Computer Science & Engineering Department	 		CGPA 9.51/10.0
Indian Institute of Technology Kharagpur 			May 2004 
								Institute Rank 3/550
 

Standardized Computer Science GRE :				94 percentile 
Tests GRE :	(Verbal: 620/800; Quantitative: 800/800 ; Writing: 6.0/6.0) 
TOEFL : 	288/300 






Internship Experiences

• Research Intern General Motors Research Laboratory 
 (Electronics and Integration Laboratory) 			May -August 2005 
Project Title: Model Checking and Fault Isolation in Discrete Event Systems 

• Visiting Student Researcher INRIA, Nancy, France 
(MODBIO -Models in Biology Group. Leader: 			May -July 2003 
Alexander Blockmayr Advisor: Yann Geurmuer) 
Project Title: Prediction of Secondary Structures of Proteins using SVM s. 

• Student Intern IIT Kharagpur 
(Advanced VLSI Laboratory) 					May -July 2002 
Project Title: Design and Verification of VLSI Circuits 





Awards and Scholarships 

• Carnegie Mellon Fellowship (2004-2010)
• University of Michigan School of Engineering Fellowship (Declined)
• University of Texas Hardware Fellowship (Declined) 
• University of Pennsylvania CIS Fellowship (Declined) 
• Cornell Tri-institutional Computational Biology Fellowship (Declined) 
• Intel India Undergraduate Research Contest (top 7 national finalists) 2004 
• Jawaharlal Nehru Center for Advanced Scientific Research Summer Fellowship 2003 
• National Talent Search Scholarship (2000 till Phd studies) 
• National Science Talent Search Scholarships 1997,1998,1999 
• Regional Mathematics Olympiad 1997,1998,1999 
Awarded a special silver medal for “originality of solutions to problems” 
• Indian National Physics Olympiad 2000 [top 1 
• Indian National Biology Olympiad 2000 [among top national 60] 
• Selected in the CBSE Medical Examinations (All India Rank : 960) 2000 (for pursuing studies as a doctor.) 




Research Interests


• Formal Methods 
• Model Checking 
• Systems Biology 
• Hybrid Systems
• Verification and Validation






Research Papers


• A. Fehkner, Edmund Clarke, Sumit Kumar Jha, and Bruce Krogh, “Refining Abstractions of Hybrid Systems Using Counterexample Fragments,” Proceedings of HSCC 2005: Lecture Notes in Computer Science, Springer-Verlag, pp: 242-257 
• A. Fehkner, Edmund Clarke, Sumit Kumar Jha, and Helmut Veith, “Temporal Logic Model Checking” Handbook of Networked and Embedded Control Systems 2005: 539-558 
• Sumit Kumar Jha, Shengbing Jiang and Thomas Fuhrman, “Fault Isolation in Discrete Event 
Systems using Model Checking.”  General Motors Technical Report. In Proceedings of CDC 2006 (IEEE Conference on Decision and Control 2006, San Diego, California) 
• Li Xuandong, Sumit Kumar Jha and Lei Bu “A Path based Tool for Reachability in Hybrid 
Systems using Linear Programming,” In Proceedings of BMC 2006 (Electronic Notes in Theoretical Computer Science). 




Unpublished and Ongoing work


• “Runtime Verification of SDL Processes using Open-LTL,” -Undergraduate Thesis at IIT 
 Kharagpur, April 2004. 
• Model Checking and Systems Biology, with Christopher Langmead and Edmund Clarke. 
• Model Checking Hybrid Systems, with Edmund Clarke, Li Xuandong and Bruce Krogh. 





Computer Skills 


• Programming Languages: C, Java. 





References 


• Edmund M. Clarke, Professor, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA. 
• Sriram Rajamani, Research Manager, Microsoft Research, India.
• Christopher Langmead, Assistant Professor, Computer Science Department, Carnegie Mellon University, Pittsburgh, USA. 
• Xuandong Li, Professor, Nanjing University, China. 
• Shengbing Jiang, Research Engineer, General Motors Research, Detroit, USA. 
• Bruce Krogh, Professor,ECE Department, Carnegie Mellon University, Pittsburgh.