Reasoning and Learning Group

Group Leader

Vijay Ganesh, Professor, GeorgiaTech

Students/postdocs


PhD
Master's

Graduated


Postdocs
  • Curtis Bright, Postdoc, University of Waterloo, 2019. (also my PhD student). Assistant professor, University of Windsor, Canada
  • Soura Paul, Postdoc, University of Waterloo, 2014. Associate professor at IIT, Bhilai, India
PhD
  • Ian Li, PhD, University of Waterloo, 2023. Lecturer at University of Waterloo
  • Soham Mukherjee, PhD, University of Waterloo, 2022. AI Engineer at Shopify
  • Murphy Berzish, PhD, University of Waterloo, 2021. Software Engineer at Amazon AWS
  • Saeed Nejati, PhD, University of Waterloo, 2020. Applied Scientist at Amazon AWS
  • Reza Babaee, PhD, University of Waterloo, 2019. CTO at RowBot
  • Jimmy Liang, PhD, University of Waterloo, 2018. Software Engineer at Google
  • Ed Zulkoski, PhD, University of Waterloo, 2018. Director of Research at Quantstamp
  • Curtis Bright, PhD, University of Waterloo, 2017. Assistant Professor at University of Windsor, Canada
  • Yunhui Zheng, PhD, Purdue University, 2014. Researcher at IBM TJ Watson Research Center, New York, USA
  • Karthick Jayaraman, PhD, Syracuse University, 2011.  Principal Software Engineer at Microsoft, Redmond, USA
Master's
  • Brian Li, MMath, University of Waterloo, 2023. PhD student @ GeorgiaTech, Atlanta, USA
  • Jonathan Chung, MASc, University of Waterloo, 2023. Software engineer at Lorica Security, Toronto, Canada
  • John Lu, MASc, University of Waterloo, 2023. PhD student in ECE at Waterloo, Canada
  • Guanting (Tony) Pan, MMath, University of Waterloo, 2023. Software engineer
  • Alaina Mahalanabis, MASc, University of Waterloo, 2022. MD student @ Western University, London, Canada
  • Abinaya Venkatesan, MEng, University of Waterloo, 2022. Software engineer at RBC, Canada
  • Vineel Nagisetty, MASc, University of Waterloo, 2021. Researcher at BorealisAI, Waterloo, Canada
  • Laura Graves, MASc, University of Waterloo, 2021. Software Engineer at BlackBerry, Waterloo, Canada
  • Behkish Nassirzadeh, MASc, University of Waterloo, 2021. PhD student in ECE at Waterloo, Canada
  • Ian Li, MASc, University of Waterloo, 2019. PhD student in ECE at Waterloo, Canada
  • Hari Govind, MASc, University of Waterloo, 2019. PhD student in ECE at Waterloo, Canada
  • 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
Bachelor's
  • 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
  • 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)
  • Dirk Nowotka (Kiel)
  • 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)