Awards, Honors, Keynote Speeches, and Distinctions
  1. ACM Test of Time Award at CCS 2016
  2. Best Paper Award at ACSAC 2016
  3. Ontario Early Researcher Award 2016, Canada
  4. Winner of two gold medals at the SAT Competition 2016 (Main and Application Track)
  5. Symbolic Computation + Satisfiability Checking (SC^2) Track Invited Paper @ CASC 2016
  6. IJCAI 'Sister Conference Best Paper Track' Invited Paper 2016
  7. Keynote Address at CSTVA 2012 and 2016
  8. IBM Faculty Award 2015
  9. Paper on MathCheck conjecture verifier selected for the JAR Journal Special Issue on Best Papers at CADE 2015
  10. Paper on Z3str2 String Solver selected for FMSD Journal Special Issue on the Best Papers at CAV 2015
  11. Best Paper Award at Software Product Lines Conference 2015 (SPLC 2015)
  12. Paper titled "Impact of Community Structure on SAT Solver Performance" judged best student paper at SAT 2014
  13. Google Faculty Research Award 2013 (General area: software engineering. Specific topic: security testing)
  14. Heidelberg Laureate Forum 2013 Invitee
  15. Google Faculty Research Award 2011 (General area: software engineering. Specific topic: SMT solvers)
  16. Invited Tutorial on SMT Solvers at CAV 2011
  17. ACM Distinguished (SIGSOFT) Paper Award @ ISSTA 2009
  18. Ten-year Most Influential Paper at DATE for the "Expression ADL Paper" (awarded in 2008)
  19. Constraint solver, STP, won the highly-competitive international SMTCOMP (bit-vectors category) competition for solvers in 2006/2010 and placed second in 2011/2014
  20. Microsoft Faculty Summit Invitee 2012, 2014, 2016
  21. Invited Journal papers in TOSEM 2012, FMSD 2017, JAR 2017
Grants and Funding
  1. Early Researcher Award 2016
  2. NSERC CRD 2016
  3. MITACS Accelerate 2016
  4. NSERC CREATE 2015
  5. IBM Faculty Award 2015
  6. Google Faculty Research Awards 2013 and 2011
  7. NSERC Discovery 2013
  8. Waterloo ECE Department Starter 2012
  9. National Science Foundation 2009