Vijay Ganesh

  Associate Professor, University of Waterloo

Group Leader

Students/postdocs

• Curtis Bright, Postdoctoral Fellow (PDF), May 2017-

• Saeed Nejati, PhD, May 2015-
• Murphy Berzish, PhD, Sep 2016-
• Joseph Scott, PhD, Sep 2017-
• Reza Babaee, PhD, Sep 2018-
  

• Ian Li, MASc, May 2017-
• Hari Govind, MASc, Sep 2017-
• Behkish Nassirzadeh, MASc, May 2019-

Graduated

• Soura Paul. PDF (Postdoctoral Fellow), University of Waterloo, 2014. Associate professor at IIT, Bhilai, India
  

• 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
  

• 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
  
• 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, Waterloo, Canada
  
• Philippe Suter, MS, EPFL, Switzerland, 2008. Researcher at IBM TJ Watson Research Center, New York, USA
  

• Goutam Tamvada, BASc, University of Waterloo, 2019. Institute for Quantum Computing, Waterloo, Canada
  
• 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, Samsung, India
• 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)