
Vijay Ganesh

I am a computer scientist and applied logician, broadly interested in software engineering, security, AI and mathematics. Prior to joining Waterloo as a professor, I was a scientist at MIT (2007-2012) and completed my PhD from Stanford University (2007).
* ML for Logic, i.e., machine learning for logical reasoning (SAT/SMT solvers and theorem provers)