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,
Indian Institute of Technology, Kharagpur (IIT, Kgp)
(Susmit Jha Susmit Kumar Jha)
  • PhD Thesis: Towards Automated System Synthesis Using SCIDUCTION (pdf)

  • Email: jha at
  • Research Publications (Proceeding Chapters and Journals)
  • 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