Rhishikesh Limaye

I'm third year graduate student in EECS department at UC Berkeley.

Before coming to Berkeley, I did my bachelors and masters from 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 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 Beaver.