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)
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
Advisors, Relations & Conflicts
Expertise
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