Vijay Ganesh
verfied profile
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
share
