Let's Talk AI - Bridging Logic and Machine Learning with Vijay Ganesh

Guest: Vijay Ganesh - Co-Director, Waterloo. Al, 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 Al 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, Al, mathematics, and physics.

Видео Let's Talk AI - Bridging Logic and Machine Learning with Vijay Ganesh канала WaterlooAI