Himanshu Jain

Himanshu Jain
Carnegie Mellon University

Username:	himanshu
(To view user contact information, please log in.)
Home page:	http://www.cs.cmu.edu/~hjain

Bio:

PhD Student at Computer Science Department, CMU

Advisor: Prof. Edmund Clarke

MS in Computer Science, December 2005.

Undergraduate Education: B.Tech. in Computer Science and Engineering at IIT Bombay, May 2003.