Vijay Ganesh (Preferred)
Vijay Ganesh
Full Professor, School of Computer Science, Georgia Institute of Technology
Joined
July 2019
Names
Emails
****@uwaterloo.ca (Confirmed)
****@gatech.edu (Confirmed)
****@gatech.edu (Confirmed)
****@gmail.com (Confirmed)
Personal Links
Career & Education History
Full Professor
School of Computer Science, Georgia Institute of Technology (gatech.edu)
2023 – Present
Associate Professor
Electrical and Computer Engineering, University of Waterloo (uwaterloo.ca)
2012 – 2023
PhD student
Computer Science, Stanford University (stanford.edu)
2000 – 2007
Advisors, Relations & Conflicts
Expertise
Certification-Driven Reinforcement Learning
2025 – Present
Reinforcement Learning with Symbolic Feedback
2024 – Present
Combinations of LLMs and symbolic Reasoning (e.g.
, LEAN
, solvers
, verifiers)
2023 – Present
Solvers for Machine Learning
, Logic Guided Machine Learning
, NeuroSymbolic AI
2018 – Present
Proof complexity and foundations of mathematics
2016 – Present
Machine Learning for Solvers
2016 – Present
SAT/SMT Solvers and Proof Assistants
2000 – Present
Software engineering
, formal methods
, program analysis
, AI
2000 – Present
Applications of solvers in math and physics
2000 – Present
Publications
Co-Authors
- Ada Sedova
- Adam Kiezun
- Ahmet Ege Tanriverdi
- Aina Niemetz
- Aishik Ghosh
- Albert Heinle
- Albert Oliveras
- Alberto Griggio
- Alessandro Cimatti
- Alexander Pretschner
- Alexandru Nicolau
- Alice Mu
- Andy Oertel
- Anna Maria Bigatti
- Antonina Kolokolova
- Anwar Hasan
- Arie Gurfinkel
- Armando Solar-Lezama
- Armin Biere
- Arnaud Hubaux
- Arnav Arora
- Aryan Mahajan
- Asheesh Khare
- Ashok Halambi
- Asif Khan