Vijay Ganesh is an assistant professor at the Department of Electrical and Computer Engineering, cross-appoined with the School of Computer Science, and the leader of the Waterloo Computer-aided Reasoning Group. The focus of his research is the theory and practice of computer-aided mathematical reasoning algorithms and their applications in software engineering, security, and mathematics. He currently leads the following projects:
  1. SAT Solvers and Machine Learning (MapleSAT)
  2. Proof complexity of automated reasoning methods
  3. Z3str3 string, arithmetic, and regular expression solver
  4. MathCheck SAT+CAS combinatorial conjecture verifier
  5. Attack resistant security defense mechanisms and obfuscations
  6. Testing, verification, and analysis of physics simulation software
  7. Testing, verification, and security analysis of smart contracts (advisor: quantstamp)
He led the STP Bitvector and Array Solver project from 2005-2012.

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

Notable Awards, Honors, Medals, and Distinctions

  1. IJCAI Sister Conference Best Paper Track Invited Paper 2018 for SAT 2017 paper
  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
  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. IJCAI Sister Conference Best Paper Track Invited Paper 2016 for CADE 2015 paper
  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. Expression ADL paper cited as the ten-year most influential paper at DATE  (published 1999, citation in 2008)
A complete list of Vijay Ganesh's awards and honors can be found here.

Teaching

  Undergraduate courses

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

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