Registered user since Fri 29 May 2015
Name: Vijay Ganesh
Bio: Dr. Vijay Ganesh is an assistant professor at the University of Waterloo since 2012. Prior to that he was a research scientist at MIT, 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 software engineering, formal methods, security, and mathematics. In this context he has led the development of many SAT/SMT solvers, most notably, STP, The Z3 string solver, MapleSAT, and MathCheck. He has also proved several decidability and complexity results in the context of theories over string equations and integers. For his research, he recently won the Early Researcher Award (ERA) in 2016, an IBM Research Faculty Award in 2015, Google Research Faculty Awards in 2013 and 2011, and 7 best paper awards/honors at conferences like CAV, IJCAI, CADE, ISSTA, SAT, SPLC, and DATE (including a Ten-Year Most Influential Award @ DATE 2008). His solvers STP and MapleSAT have won numerous awards at the highly competitive international SMT and SAT solver competitions. Recently he was invited to the first Heidelberg Laureate Forum in 2013, a gathering where young researchers from around the world were selected to meet with Turing, Fields and Abel Laureates.
Affiliation: University of Waterloo
Personal website: https://ece.uwaterloo.ca/~vganesh/
Research interests: SAT/SMT Solvers, Formal Methods, Security, Software Engineering, Logic, Foundations of Mathematics
PLDI, ECOOP, DEBS, LCTES and ISMM Activities