Vijay Ganesh

 Associate Professor, University of Waterloo, Canada

Vijay Ganesh is an associate professor in the Department of Electrical and Computer Engineering, cross-appoined with the School of Computer Science, faculty of mathematics, and the leader of the Waterloo Computer-aided Reasoning Group. He is a member of the Waterloo AI Institute, the Waterloo Cybersecurity and Privacy Institute, and the Waterloo Computational Math program. Dr. Ganesh's research focus is the theory and practice of computer-aided mathematical reasoning algorithms (SAT/SMT solvers and provers) and their applications in software engineering, security, AI, mathematics, and physics. Dr. Ganesh currently leads the following projects:

1. Machine Learning + SAT/SMT Solvers
        SAT solvers and machine learning (MapleSAT)
        Z3str3 string, arithmetic, and regular expression solver
        SAT-based cryptanalysis and machine learning-based parallel SAT solvers
        Logic-guided machine learning (LGML), LogicGAN, and testing, analysis, verification of ML
2. Complexity Theory of Solvers and Formal Methods
        Proof complexity-theoretic analysis of SAT/SMT solvers and formal methods
3. Applications of Solvers + Machine Learning in Mathematics and Physics
       MathCheck SAT+CAS combinatorial conjecture verifier
       ML+Solvers for discovery of laws in physics from experimental data
4. Other Software Engineering and Security Projects
       Attack resistant security defense mechanisms for software
       Testing, verification, and analysis of smart contracts (founding advisor: quantstamp)

From 2005-2012, Dr. Vijay Ganesh led the STP bitvector and array solver project. You can find Dr. Vijay Ganesh's CV here.