Dr. Vijay Ganesh is an assistant professor at the University of Waterloo since September 2012. Prior to that he was a research scientist at the Massachusetts Institute of Technology, and received his PhD in computer science from Stanford University. Vijay’s primary area of research is the theory and practice of computer-aided reasoning aimed at software engineering, security, and mathematics. In this context he has developed many SMT/SAT solvers, most notably, STP, HAMPI and Z3str2. These solvers are currently in use in more than 100 research projects in academia and industry. For his research, Vijay won two Google Faculty Research Awards in 2013 and 2011 respectively. He has won several best paper awards, including an ACM Distinguished Paper Award in 2009. His solver STP has been placed first or second at the highly competitive international competition for SMT solvers called SMTCOMP (bitvector category) multiple times. In 2013, he was invited as a Young Researcher to the prestigious Heidelberg Laureate Forum 2013 to meet with Turing, Fields and Abel Laureates.