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

NeuroSymbolic AI Proof Complexity and Mathematical Logic SAT/SMT Solvers Testing, Analysis, Verification, and Security of AI Systems Testing, Analysis, Verification, and Security of Software

Links

Faculty Page