Vijay Ganesh is an associate professor in the Department of Electrical and Computer Engineering, cross-appoined with the School of Computer Science, faculty of mathematics, and the leader of the Waterloo Computer-aided Reasoning Group. He is a member of the Waterloo AI Institute as well as the Waterloo Cybersecurity and Privacy Institute. The focus of Dr. Ganesh's research is the theory and practice of computer-aided mathematical reasoning algorithms and their applications in software engineering, security, and mathematics. Dr. Ganesh currently leads the following projects:
  1. SAT solvers and machine learning (MapleSAT)
  2. Complexity-theoretic analysis of formal methods
  3. Z3str3 string, arithmetic, and regular expression solver
  4. MathCheck SAT+CAS combinatorial conjecture verifier
  5. SAT-based cryptanalysis and ML-based parallel SAT solvers
  6. Attack resistant security defense mechanisms for software/ML
  7. Testing, verification, and analysis of physics simulation software
  8. Testing, verification, and analysis of smart contracts (advisor: quantstamp)
From 2005-2012, Dr. Vijay Ganesh led the STP bitvector and array solver project.

Papers: Google Scholar (most-cited first), DBLP, Researchgate, LinkedIn, my publications page.

Notable Awards, Honors, Medals, and Distinctions

 Below find a list of notable awards that Dr. Ganesh has received in his career. A complete list is available on his awards page.
  1. ACM SIGSOFT Impact Award 2019 (Best paper in 10 years at SIGSOFT conferences)
  2. Silver medal at SAT 2017 Competition (main track)
  3. Silver medal at SAT 2017 Competition (no-limits track)
  4. ACM Test of Time Award at CCS 2016 (Best paper in 10 years at ACM CCS conference)
  5. Best Paper Award at ACSAC 2016
  6. Ontario Early Researcher Award 2016, Canada
  7. Gold medal at the SAT Competition 2016 (Main Track)
  8. Gold medal at the SAT Competition 2016 (Application Track)
  9. IBM Faculty Award 2015
  10. Paper on MathCheck conjecture verifier selected for the JAR Journal Special Issue on Best Papers at CADE 2015
  11. Paper on Z3str2 String Solver selected for FMSD Journal Special Issue on the Best Papers at CAV 2015
  12. Google Faculty Research Award 2013 (Only 6 winners worldwide in software engineering in 2013)
  13. Google Faculty Research Award 2011 (Only 9 winners worldwide in software engineering in 2011)
  14. ACM Distinguished SIGSOFT Paper Award 2009 (for the HAMPI string solver paper)
  15. Ten-year most influential paper citation at DATE 2008 (Best paper in 10 years at the DATE conference)

Teaching

  Undergraduate courses
     Compilers (W2014, S2014, W2015, S2017, S2018)
     Computer Security (W2013, S2014, S2017)
     Algorithms and Data Structures (F2015)
  Graduate courses
      Computer-aided Reasoning (W2013, F2013, W2015, F2016, F2017, F2018)

Professional Service

Contact Information

Department of Electrical and Computer Engineering          
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
 		Office: DC 2530
Email: vganesh@uwaterloo.ca
Tel: +1 (519) 888-4567 x32866