Vijay Ganesh, University of Waterloo

Profile photo of Vijay Ganesh, expert at University of Waterloo

Associate Professor Co-Director, Waterloo AI Institute 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

Faculty Page