Guest: Vijay Ganesh - Co-Director, Waterloo.AI, and Associate Professor, Faculty of Engineering, University of Waterloo

Bio: Vijay Ganesh is an associate professor at the University of Waterloo's department of Electrical and Computer Engineering, cross-appointed with the School of Computer Science in the Faculty of Math, and the Co-Director of the Waterloo AI Institute. He is also a member of the Waterloo Cybersecurity and Privacy Institute, the Waterloo Computational Math program, and the Waterloo blockchain research community. Vijay completed his PhD in computer science from Stanford University in 2007 and was a research scientist at MIT from 2007 to 2012.

The primary focus of Vijay's research is the theory and practice of SAT/SMT solvers and their applications in software engineering, security, AI, mathematics, and physics.