Vijay Ganesh is a professor at the School of Computer Science at GeorgiaTech. Prior to joining GeorgiaTech in 2023, he was a professor at the University of Waterloo from 2012 to 2023, where he also served as a Co-Director of the Waterloo AI Institute from 2021 to 2023. From 2007 to 2012, Vijay was a research scientist at MIT. He completed his computer science PhD from Stanford University in 2007.

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

1. Machine Learning (ML) for Logic (SAT/SMT Solvers)
        SAT solvers and machine learning (MapleSAT)
        Z3str4 string, arithmetic, and regular expression solver
        SAT-based cryptanalysis and ML-based parallel SAT solvers
2. Logic for Machine Learning
        Logic+ML: Testing/Verification of ML, and Combinations of ML and Solvers
3. Complexity Theory of Solvers and Formal Methods
        Proof complexity-theoretic analysis of SAT/SMT solvers and formal methods
4. Applications of Solvers + Machine Learning in Mathematics and Physics
       MathCheck SAT+CAS combinatorial conjecture verifier
       AI (Machine Learning + Logic) for Physics
5. 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, ORCID