Vijay Ganesh is a professor of computer science at Georgia Tech and the associate director of the IDEaS (AI for Science and Engineering) Institute. Additionally, he is a co-founder and steering committee member of the Center for Mathematical AI at the Fields Institute, and an AI Fellow at the BSIA.

Prior to joining Georgia Tech in 2023, Vijay 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. Vijay 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 (Solvers)
    MapleSAT
    AlphaMapleSAT
    Z3Alpha
    Meta-solving
    Z3str* string solvers
    Parallel SAT for cryptanalysis
2. Logic for ML
    Neurosymbolic AI for scientific discovery
    Neurosymbolic AI for math
    NeuroSymbolic AI for code
3. Proof Complexity Theory
    Proof complexity-theoretic analysis of SAT/SMT solvers and formal methods
4. Software Engineering and Security
    BanditFuzz: RL-guided performance fuzzer for SMT solver
    Pierce: Performance testing of neural network verifiers
    Security of blockchain technologies
    Attack Resistance of Security Defense Mechanisms
    STP bitvector and array solver (2005-2012)

Profile: CV (June 2025), Google Scholar, DBLP, LinkedIn, Math Genealogy, Simons Institute @ Berkeley, MathSciNet, ORCID