Vijay Ganesh
Assistant Professor
ELECTRICAL AND COMPUTER ENGINEERING
University of Waterloo
Canada
Biography
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 relating to the SATisfiability problem for various mathematical theories. For his research, he has won over 21 awards, honors, and medals including an ACM Test of Time Award at CCS 2016, two Google Faculty Research Awards in 2011 and 2013, and a Ten-Year Most Influential Paper Award at DATE 2008.
Research Interest
"The focus of my research is the theory and practice of computer-aided mathematical reasoning tools, and their applications in software engineering, security, and mathematics. My research interests are: 1) Computer-aided logic reasoning tools such as Boolean SAT/SMT solvers, and proof assistants (checkout software page) 2) Application of solvers in formal verification, software testing, security, and mathematics (checkout software page) 3) Mathematical logic, and foundations of mathematics"
Publications
-
Halambi A, Grun P, Ganesh V, Khare A, Dutt N, Nicolau A. EXPRESSION: A language for architecture exploration through compiler/simulator retargetability. InDesign, Automation, and Test in Europe 2008 (pp. 31-45). Springer Netherlands.
-
Ganesh V, Dill DL. A decision procedure for bit-vectors and arrays. InCAV 2007 Jul 3 (Vol. 4590, pp. 519-531).
-
Cadar C, Ganesh V, Pawlowski PM, Dill DL, Engler DR. EXE: automatically generating inputs of death. ACM Transactions on Information and System Security (TISSEC). 2008 Dec 1;12(2):10.
