Sorry, for being ‘missing in action’. I was super busy organizing the first international SAT/SMT Solver summer school @ MIT from June 12th to June 17th, 2011 (I was the main organizer). It was an awesome event. We had 40 … Continue reading
Vijay Ganesh is an assistant professor at the University of Waterloo. Before that he was a research scientist at MIT.
He completed his PhD in computer science from Stanford University, CA, USA.