Ph.D., Computer Science and Engineering; Summer
2009
University of California San Diego, La Jolla, CA
Thesis: High-Level Verification of System Designs
Advisers: Prof.
Rajesh Gupta and Prof.
Sorin Lerner
5 Year Integrated Master of Science,
Mathematics and Computing, May 2004
Indian Institute of Technology, Kharagpur, India
Master Thesis: Design and Optimization of an
application specific Operating System
Advisers: Prof. A. Basu and Prof. U. C. Gupta
Bachelor Thesis: Assembler and Simulator for a
subset of 8086 Assembly Language
Adviser: Dr. Pawan Kumar
Rank in the Department: 1st
|