Department of Electrical and Computer Engineering
Email: vganesh@uwaterloo.ca
Research Interests: Boolean SAT and SMT solvers, theorem provers, solvers for combinatorial mathematics, foundations of mathematics, complexity theory
Link to Profile: Vijay Ganesh