Himanshu Jain
Himanshu Jain
Computer Science Department
Carnegie Mellon University

Email: hjain [AT] cs [DOT] cmu [DOT] edu


[About | Research | Publications | Software | Coursework | Misc ]


Welcome to the homepage of Himanshu Jain. I was a Ph.D. student in Computer Science Department at Carnegie Mellon University from Fall 2003 to Fall 2008.  I worked with Prof. Edmund Clarke. I received a B.Tech in Computer Science and Engineering from IIT Bombay in 2003 and a M.S. in Computer Science from Carnegie Mellon University in 2005. I finished my Ph.D. in Fall 2008. (You can still reach me using CMU email id.) 

You can also look at my Linkedin page for current information.

Professional Activities Research Interests
Publications (DBLP) (Google Scholar)

Ph.D. Thesis:
Journal publications:

Conference publications:
Workshops and other papers:
Technical reports:



Teaching assistant:

Classes taken

Class project reports:



Valid HTML 4.01 Transitional