Vijay Ganesh
Biography
Dr. Vijay Ganesh is a professor of computer science at the Georgia Institute of Technology. Prior to joining GeorgiaTech in 2023, Vijay was an associate professor at the University of Waterloo in Canada from 2012 to 2023 and a research scientist at the Massachusetts Institute of Technology from 2007 to 2012. Vijay completed his PhD in computer science from Stanford University in 2007.
Vijay's primary area of research is the theory and practice of SAT/SMT solvers, and their application in AI, software engineering, security, mathematics, and physics. In this context he has led the development of many SAT/SMT solvers, most notably, STP, Z3str4, AlphaZ3, MapleSAT, and MathCheck. He has also proved several decidability and complexity results in the context of first-order theories. More recently he has started working on topics at the intersection of learning and reasoning, especially the use of machine learning for efficient solvers, and the use of solvers aimed at making AI more trustworthy, secure, and robust. For his research, Vijay has won over 30 awards, honours, and medals to-date, including an ACM Impact Paper Award at ISSTA 2019, ACM Test of Time Award at CCS 2016, and a Ten-Year Most Influential Paper citation at DATE 2008.
Vijay's primary area of research is the theory and practice of SAT/SMT solvers, and their application in AI, software engineering, security, mathematics, and physics. In this context he has led the development of many SAT/SMT solvers, most notably, STP, Z3str4, AlphaZ3, MapleSAT, and MathCheck. He has also proved several decidability and complexity results in the context of first-order theories. More recently he has started working on topics at the intersection of learning and reasoning, especially the use of machine learning for efficient solvers, and the use of solvers aimed at making AI more trustworthy, secure, and robust. For his research, Vijay has won over 30 awards, honours, and medals to-date, including an ACM Impact Paper Award at ISSTA 2019, ACM Test of Time Award at CCS 2016, and a Ten-Year Most Influential Paper citation at DATE 2008.
Research Interests
- SAT/SMT solvers and higher-order provers, Software engineering, Formal methods, Automated testing, Program analysis, Computer security, Mathematical logic, Foundations of mathematics
Scholarly Research
Boolean SAT/SMT solvers and first-order provers, Formal methods, Automated testing, Computer security, Program analysis, Mathematical logic, Foundations of mathematics, Software engineering
Industrial Research
I own a computer security consulting company called VG Security Inc. Through my consulting company I advise many Waterloo startups. The most successful company that I have advised to-date is Quantstamp Inc., a blockchain smart contract security company.
Education
- 2007, Doctorate Computer Science, Stanford University, USA
- 2000, Master's Electrical Engineering, Stanford University, USA
Awards
- 2018 Dr. Ganesh has won over 25 awards, distinctions, and medals for his research. You can read more about them here:
- https://vganesh1.github.io/
Graduate studies
- Currently considering applications from graduate students. A completed online application is required for admission; start the application process now.