Vijay Ganesh

Registered user since Fri 29 May 2015

Name:Vijay Ganesh
Bio:

Dr. Vijay Ganesh is an associate professor at the University of Waterloo. 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 mathematical reasoning algorithms aimed at software engineering, formal methods, security, and mathematics. 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 Test of Time Award at CCS 2016, an Ontario Early Researcher Award 2016, two Google Faculty Research Awards in 2011 and 2013, and a Ten-Year Most Influential Paper citation at DATE 2008.

Country:Canada
Affiliation:University of Waterloo
Research interests:SAT/SMT Solvers, Formal Methods, Security, Software Engineering, Logic, Foundations of Mathematics

Contributions

PLDI 2021 Committee Member in Program Committee within the PLDI-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
ISSTA 2019 Author of The Theory and Practice of String Solvers (Invited Talk Abstract) within the Technical Papers-track
Author of Keynote - The Theory and Practice of String Solvers within the Keynote-track
PLDI 2017 Committee Member in External Review Committee
POPL 2016 ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
PLAS 2015 Author of Short Paper: The Meaning of Attack-Resistant Systems within the PLAS-track