Sumit Jha

 

 

 

 

 

 

Computer Science Department                               School of Computer Science                         Carnegie Mellon University                               Pittsburgh, USA 

CMU is again ranked #1 in Computer Science [ See here ]   

Contact me at : sumit.jha[at]cs.cmu.edu Telephone: +1-412-268-8334

                     

 

 

 

 

 

 

 

 

Links

 

 

 

 

 

 

Hello!! I am currently doing my Ph.D. at the Department of Computer Science at Carnegie Mellon University . My department is part of the School of Computer Science (SCS) . I did my B. Tech. from the Department of Computer Science and Engineering at the Indian Institute of Technology, Kharagpur .

 

 

Research Results:

1.      Cut-offs for Bounded Model Checking of classes of linear hybrid automata (jointly with Xuandong Li) [BMC 2006]

2.      Translating the fault localization problem in discrete event systems to the model checking problem (internship at General Motors, Detroit) [CDC 2006]

3.      A language based automata theoretic abstraction refinement framework for Linear Hybrid Automata: Applications of Fourier Motzkin Procedure (with Bruce Krogh and Ed Clarke)

4.      Available on request: IRA – a meta-tool for analyzing linear hybrid automata (with Alhad Palkar Arun and Jim Weimer) [HSCC 2007]

5.      Temporal logics for Dynamic Bayesian Networks (Chris Langmead led the work with Ed Clarke and me) [submitted to RECOMB 2007]

You are welcome to share any comment or suggestion at my contact address. I am happy to provide you access to any of the above papers for personal use.

 

 

 

 

 

 

 

This site is under construction.        Drop by later for new stuffs.

 

Here is my resume in Postscript, PDF, Microsoft Word, Text and HTML formats. (add links).

 

 

 

Hope you have a nice time browsing through my webpage !