Awards, Honors, Medals, 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 gold medal at the SAT Competition 2016 (Main Track)
  5. Winner of gold medal at the SAT Competition 2016 (Application Track)
  6. Symbolic Computation + Satisfiability Checking (SC^2) Track Invited Paper @ CASC 2016
  7. IJCAI 'Sister Conference Best Paper Track' Invited Paper 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 (Only 6 winners worldwide in software engineering in 2013)
  14. Heidelberg Laureate Forum 2013 Invitee
  15. Google Faculty Research Award 2011 (Only 9 winners worldwide in software engineering in 2011)
  16. ACM Distinguished (SIGSOFT) Paper Award @ ISSTA 2009 (for the HAMPI string solver paper)
  17. Ten-year Most Influential Paper at DATE for the "Expression ADL Paper" (awarded in 2008)
  18. STP solver placed twice as first rank in 2006/2010, and twice as second rank in 2011/2014 at the annual SMTCOMP (bitvector)
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