Computer Aided Reasoning (CAR) Group

Group Leader

Vijay Ganesh, Associate Professor, University of Waterloo

Students/postdocs


Postdocs
PhD
Master's
Bachelor's
  • Goutam Tamvada, BASc, Sep 2018-

Graduated


Postdocs
  • Soura Paul. PDF (Postdoctoral Fellow), University of Waterloo, 2014. Associate professor at IIT, Bhilai, India
PhD
  • Jimmy Liang, PhD, University of Waterloo, 2018. Researcher at Google
  • Ed Zulkoski, PhD, University of Waterloo, 2018. Senior researcher at Quantstamp
  • Curtis Bright, PhD, University of Waterloo, 2017. Postdoc at University of Waterloo
  • Yunhui Zheng, PhD, Purdue University, 2014. Researcher at IBM TJ Watson Research Center, New York, USA
  • Karthick Jayaraman, PhD, Syracuse University, 2011. Security engineer at Microsoft, Redmond, USA
Master's
  • Dmitry Blotsky, MASc, University of Waterloo, 2018. Software engineer at Apple, Cupertino, USA
  • Mark Wheatley, MEng, University of Waterloo, 2018. Software engineer at Blackberry, Waterloo, Canada
  • Minu Mathew, MTech, College of Engineering, Trivandrum, 2016. MS student at Illinois Institute of Technology, USA
  • Rehna T.S., MTech, College of Engineering, Trivandrum, 2016. Assistant Professor at ACE Engineering College, Trivandrum
  • Steven Stewart, MASc, University of Waterloo, 2016. Founder and CTO, Quantstamp, Canada (informal advisor)
  • Riyad Parvez, MASc, University of Waterloo, 2016. Software engineer, Toronto, Canada
  • Sanu E Subramanian, MASc, University of Waterloo, 2015. Security engineer at Oracle, Waterloo, Canada
  • Zack Newsham, MASc, University of Waterloo, 2015. Started a software company, Toronto, Canada
  • Philippe Suter, MS, EPFL, Switzerland, 2008. Researcher at IBM TJ Watson Research Center, New York, USA
Bachelor's
  • Paul He, BCS, University of Waterloo, 2018. PhD student at University of Pennsylvania, USA
  • Hari Govind, BTech, College of Engineering, Trivandrum, 2016. MASc student at Waterloo, Canada
  • Nisha Mariam Johnson, BTech, College of Engineering, Trivandrum, 2016. Software engineer, Synopsys, USA
  • Sharon Devasia, BTech, College of Engineering, Trivandrum, 2016. Software engineer, Synopsys, USA
  • William Lindsay, BASc, University of Waterloo, 2015. Security Engineer at MagnetForensics, Waterloo, Canada

Partial List of
Collaborators Worldwide
(in no particular order)

  • Martin Rinard (MIT)
  • Srini Devadas (MIT)
  • Moshe Vardi (Rice)
  • MIchael Ernst (U. of Washington)
  • Erika Abraham (Aachen)
  • Dirk Nowotka (Kiel)
  • Martin Kreuzer (Passau)
  • Pascal Fontaine (Inria)
  • David L. Dill (Stanford)
  • Antonina Kolokolova (Memorial U. of Newfoundland)
  • Robert Robere (Toronto)
  • Omer Tripp (Google)
  • Yunhui Zheng (IBM TJ Watson Center)
  • Xiangyu Zhang (Purdue)
  • Cristian Cadar (Stanford and Imperial College)
  • Armando Solar-Lezama (MIT)
  • Mia Minnes (UCSD)
  • Christoph Wintersteiger (Microsoft Research)
  • Venkatesh Raman (Institute of Mathematical Sciences, Chennai)
  • Krzysztof Czarnecki (Waterloo)
  • Martin Ochoa (Colombia)