Vijay Ganesh

verfied profile

University of Waterloo

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).

Research interests:

* ML for Logic, i.e., machine learning for logical reasoning (SAT/SMT solvers and theorem provers)

* Logic for ML, i.e., logical reasoning aimed at testing, analysis, verification, and security of ML

* Mathematical logic and complexity theory

Featured Co-authors