Vijay Ganesh

 Associate Professor, University of Waterloo, Canada

Vijay Ganesh is an associate professor at University of Waterloo's department of Electrical and Computer Engineering, cross-appointed with the School of Computer Science in the Faculty of Math, and the Director of the Waterloo AI Institute. He is also a member of the Waterloo Cybersecurity and Privacy Institute, Waterloo Computational Math program, and the Waterloo blockchain community.

The primary focus of Dr. Ganesh's research is the theory and practice of SAT/SMT solvers and their applications in software engineering, security, AI, mathematics, and physics. Dr. Ganesh currently leads the following projects:

1. Machine Learning (ML) + Logic (SAT/SMT Solvers)
        SAT solvers and machine learning (MapleSAT)
        Z3str3 string, arithmetic, and regular expression solver
        SAT-based cryptanalysis and ML-based parallel SAT solvers
        Logic+ML: Testing/Verification of ML and NeuroSymbolic AI
        Logic Guided Genetic Algorithms
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, Security, and Optimization 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. See also Vijay's publications and CV.

Profile: Google Scholar (most-cited first), DBLP, LinkedIn, Math Genealogy, Simons Institute @ Berkeley