Vijay Ganesh
Associate Professor
Co-Director, Waterloo AI Institute
Faculty of Engineering
Department of Electrical and Computer Engineering
Faculty of Mathematics
David R. Cheriton School of Computer Science
Waterloo, Ontario
vganesh@uwaterloo.ca
Office:
(519) 888-4567 ext. 32866
Expert In
Automated testing
Computer security
Formal methods
Foundations of mathematics
Mathematical logic
NeuroSymbolic AI
Program analysis
Proof Complexity and Mathematical Logic
SAT/SMT Solvers
Software engineering
Testing, Analysis, Verification, and Security of AI Systems
Testing, Analysis, Verification, and Security of Software
Links
Media Relations
Rebecca (Becky) Elming
Director, Media Relations and Issues Management
(647) 459-8313
relming@uwaterloo.ca
Director, Media Relations and Issues Management
(647) 459-8313
relming@uwaterloo.ca