Welcome to my homepage

I am currently a Ph.D. candidate at University of Michigan, EECS Department, Computer Science and Engineering division.
My research interests are speeding up core Electronic Design Automation(EDA) problems through the use of massively parallel multi-core platforms such as GPU's and verification of large industrial-scale designs through semi-formal and simulation-based methods. I work with Prof. Valeria Bertacco.
Here is my CV. A birds eye view of my research can be found here.
Browser Compatibility
This template has been tested in the following browsers:
- Internet Explorer 8
- Internet Explorer 7
- FireFox 3.5
- Google Chrome 6
- Safari 4