Dr. Vijay Ganesh is an associate professor at the University of
Waterloo's Electrical and Computer Engineering department,
cross-appointed with the David R. Cheriton School of Computer
Science, and the
Co-Director
of the
Waterloo
Artificial Intelligence Institute. Prior to joining
Waterloo in 2012, he was a research scientist at
MIT (2007-2012)
and completed his PhD in computer science from
Stanford
University in 2007.
Vijay's primary area of research is the theory and practice of
automated reasoning aimed at AI, software engineering, formal
methods, security, mathematics, and physics. In this context he
has led the development of many SAT/SMT solvers, most notably,
STP,
Z3str4,
MapleSAT, and
MathCheck. He has also proved several
decidability and complexity results in the context of
first-order theories.
He has
won over 25 research awards, best paper awards, distinctions,
and medals for his research to-date. He recently won an ACM
ISSTA Impact Paper Award 2019 (Best Paper in 10 Years Award @
ISSTA conference), an ACM Test of Time Award at CCS 2016 (Best
Paper in 10 Years Award at CCS), the Early Researcher Award
(ERA) given by the Ontario Government in 2016, Outstanding
Paper Award at ACSAC 2016, an IBM Research Faculty Award in
2015, two Google Research Faculty Awards in 2013 and 2011, a
Ten-Year Most Influential paper citation at DATE 2008, and 10
best paper awards/honors of different kinds at conferences
like CAV, IJCAI, CADE, ISSTA, SAT, SPLC,
and CCS. His solvers STP and MapleSAT have won
numerous awards at the highly competitive international SMT and
SAT solver competitions. In 2013 he was invited to the first
Heidelberg
Laureate Forum, a gathering where a select group of young
researchers from around the world met with Turing, Fields and
Abel Laureates.
You can explore Vijay Ganesh's
mathematical
genealogy here, in a concise format
here, or in a more complete
graphical format
here. You can find Vijay Ganesh's Brief
Bio in
text format here.
You can learn more about the history of SAT and SMT solving
here, and that of symbolic execution
here.
Briefer
Bio for Invited Talks
Dr. Vijay Ganesh
is an associate professor at the University of Waterloo and
the Co-Director of the Waterloo Artificial Intelligence
Institute. Prior to joining Waterloo in 2012, he was a
research scientist at MIT (2007-2012) and completed his PhD in
computer science from Stanford in 2007. Vijay's primary area
of research is the theory and practice of SAT/SMT solvers
aimed at AI, software engineering, security, mathematics, and
physics. In this context he has led the development of many
SAT/SMT solvers, most notably, STP, Z3 string, MapleSAT, and
MathCheck. He has also proved several decidability and
complexity results in the context of first-order theories. He
has won over 25 awards, honors, and medals to-date for his
research, 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. He is the
Editor-in-Chief of the Springer book series "Progress in
Computer Science and Applied Logic" (PCSAL) and has co-chaired
many conferences, workshops, and seminars including a Simons
Institute semester @ Berkeley on Boolean Satisfiability in
2021.