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