Vijay Ganesh

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