Computer Aided Reasoning (CAR) Group

Group Leader

Vijay Ganesh, Associate Professor, University of Waterloo

Students/postdocs


Postdocs
PhD
Master's

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
  • Mark Wheatley, MEng, University of Waterloo, 2018. Software engineer at Blackberry
  • Riyad Parvez. MASc, University of Waterloo, 2016. Software engineer
  • 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
  • William Lindsay. BASc, University of Waterloo, 2015. Security Engineer at MagnetForensics, Waterloo, Canada

Partial List of
Collaborators Worldwide

  • Martin Rinard (MIT)
  • Srini Devadas (MIT)
  • MIchael Ernst (U. of Washington)
  • Adam Kiezun (MIT)
  • David L. Dill (Stanford)
  • Robert Robere (University of Toronto)
  • Shay Artzi (IBM)
  • Omer Tripp (IBM TJ Watson Center)
  • Yunhui Zheng (IBM TJ Watson Center)
  • Xiangyu Zhang (Purdue)
  • Cristian Cadar (Stanford and Imperial College)
  • Armando Solar-Lezama (MIT)
  • Mia Minnes (UCSD)
  • Mike Carbin (MIT)
  • Christoph Wintersteiger (Microsoft Research, Cambridge)
  • Emina Torlak (Berkeley)
  • Venkatesh Raman (Institute of Mathematical Sciences, Chennai)
  • Krzysztof Czarnecki (University of Waterloo)
  • Martin Ochoa (Singapore University of Technology and Design)