[[http://picasaweb.google.com/rhishi/GrandCanyon/photo#5100329250021812306|{{at_grand_canyon_-_close_up.jpg?250 |Me at Grand Canyon}}]] **Rhishikesh Limaye**

I'm third year graduate student in [[http://www.eecs.berkeley.edu|EECS]] department at [[http://www.berkeley.edu|UC Berkeley]].

Before coming to Berkeley, I did my bachelors and masters from [[http://www.iitb.ac.in|IIT Bombay]] in Electrical Engineering. I then worked for an year and half at Intel, Bangalore in Intel's internal CAD group.

**Contact**

Office: 545N Cory Hall\\
Email: rhishi put-an-at eecs dot berkeley.edu

**Research**

I'm working with [[http://www.eecs.berkeley.edu/~sseshia|Prof. Sanjit Seshia]] in the area of computer-aided verification.  At present, I'm working on Satisfiability Modulo Theories solver.  We've finished first cut of our solver called [[http://uclid.eecs.berkeley.edu/Beaver|Beaver]].