Susmit Jha well,not important Susmit Jha missing PIC :-)

Susmit Jha (Susmit Kumar Jha)

M.S. & Ph.D., 2011
Electrical Engineering and Computer Science,
University of California, Berkeley

B.Tech., 2006
Computer Science and Engineering,
Indian Institute of Technology, Kharagpur (IIT, Kgp)

Resume (pdf)

I graduated in Dec, 2011 and now work as Research Scientist in Strategic CAD Lab at Intel, Portland, OR.
I am reachable at susmit DOT kumar DOT jha AT gmail.
(Susmit Jha Susmit Kumar Jha)
  • NEWS: I am serving on technical program committee for ACM/IEEE International Conference on Computer Aided Verification, 2013 and ACM/IEEE International Conference on Formal Methods in Computer Aided Design, 2013. Please consider submitting your best work to these conferences.

  • PhD Thesis: Towards Automated System Synthesis Using SCIDUCTION (pdf)

  • Email: jha at
  • Selected Research Publications (Proceeding Chapters and Journals) [See my DBLP entry for complete list.]
  • Technical Reports

    Tool Releases

    Some of my research has led to release of mature tools used by researchers in academia and industry.
  • Conference Presentations on Thesis Work
  • Work Experience


    Contact Info

    Office: Cory Hall 545S
    Email: jha at