Computer Aided Reasoning (CAR) Group

Group Leader

     Vijay Ganesh

Students

  • Jimmy Liang, PhD, Sep 2014-
  • Ed Zulkoski, PhD, Sep 2014-
  • Saeed Nejati, PhD, May 2015-
  • Murphy Berzish, PhD, Sep 2016-
  • Joe Scott, PhD, Sep 2017-
  • Ian Li, MASc, May 2017 -
  • Dmitry Blotsky, MASc, Sep 2014 -

Graduated

  • Curtis Bright. PhD, University of Waterloo, 2016. Currently a postdoc in my research group
  • 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
  • Sanu E Subramanian. MASc, University of Waterloo, 2015. Security engineer at Intel Security, Waterloo, Canada
  • Zack Newsham. MASc, University of Waterloo, 2015. Started a software company, Waterloo, Canada
  • Riyad Parvez. MASc, University of Waterloo, 2016
  • Philippe Suter. MS, EPFL, Switzerland, 2008. Researcher at IBM TJ Watson Research Center, New York, USA
  • William Lindsay. BS, 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)