Cheriton School of Computer Science
University of Waterloo
CS 245,
Logic and Computation
CS 486/686, Introduction to Artificial Intelligence
Dennis W. Manchak. May, 1992-April, 1993.
Topic: Backtracking algorithms.
Shane Ruman. Summer of 1992, 1993, and 1994.
Topic: Natural language interface for course-advising system.
Ka Yan Irene Shum. Summer of 1996.
Topic: Relational consistency algorithms for CSPs.
Jyotirmoy Paul. Summer of 1997.
Topic: Interface and algorithms for high school timetabling.
Jonathan Sillito. Summer of 1998.
Topic: Comparison of CSP models for temporal reasoning.
Thomas Lai, Summer 2001, Winter 2002
Topic: Planning using constraint programming.
Chun-Fung Yuen, Winter 2002
Topic: Constraint programming.
Hashim Mir, Winter & Spring 2013
Topic: Algorithms in computational photography.
Peter Xu, Winter & Spring 2013
Topic: Algorithms in computational photography.
Max Li, Fall 2013
Topic: Algorithms in computational photography.
Aliya Pazylbekova, Fall 2013, Spring 2014
Topic: Water data analytics and computational photography.
Rudi Chen, Fall 2013, Winter 2014
Topic: Algorithms in computational photography.
David Choi, Winter 2014
Topic: Focus stacking in computational photography.
Khalil Choudhry, Spring 2014
Topic: Focus stacking in computational photography.
Wuhan Zhou, Fall 2015
Topic: Focus stacking in computational photography.
Felix Chen, Winter 2016
Topic: White balancing in computational photography
Michelle Pokrass, Winter 2016
Topic: White balancing in computational photography
Tengyu Cai, Winter 2016
Topic: White balancing in computational photography
Akshaya Senthil, Spring 2016
Topic: White balancing in computational photography
Weijie Wang, Spring 2016
Topic: White balancing in computational photography
Colin Lee, Fall 2016
Topic: Bayesian network structure learning
Wojtek Swiderski, Winter 2017
Topic: White balancing in computational photography
Yihan Zhou, Winter 2017
Topic: White balancing in computational photography
Xi Zhu, Winter 2017
Topic: White balancing in computational photography
Eric Bai, Spring 2017
Topic: White balancing in computational photography
Gurpreet Gill, Fall 2017
Topic: Semantic features for white balancing
Kelvin Wong, Fall 2017
Topic: Semantic features for white balancing
Junheng Wang, Spring 2018
Topic: HDR image selection
Tobi Adewoye, Spring 2018
Topic: HDR image selection
Andrew Chong Li, Fall 2018
Topic: Bayesian network structure learning
David Duan, Fall 2020
Topic: Bayesian network structure learning
Alan D. Sharpe, MSc, 1993 (co-supervised with R. Goebel)
Title: An Adaptive Approach for Acquiring Missing Knowledge
Kenneth J. Schmidt, MSc, 1994
Title: Clarification Dialogues for Plan Recognition in
Advice-Giving Systems
Grzegorz Kondrak, MSc, 1994
Title: A Theoretical Evaluation of Selected Backtracking Algorithms
Donald Banks, MSc, 1996 (co-supervised with A. Meisels)
Title: A Constraint Satisfaction Approach To Timetabling
Xinguang Chen, PhD, 2000
Title: A Theoretical Comparison of Selected CSP Solving
and Modeling Techniques
Michael Bergen, MSc, 2000
Title: Constraint-Based Assembly Line Sequencing
Jonathan Sillito, MSc, 2000
Title: Improvements to and Estimating the
Cost of Backtracking Algorithms for CSPs
Vincent Park, MMath, 2004
Title: An Empirical Study of Different Branching Strategies
for CSPs
Lars Hellsten, MMath, 2004
Title: Consistency Propagation for Stretch Constraints
Huayue Wu, MMath, 2006
Title: Randomization and Restart Strategies.
Tyrel Russell, MMath, 2006
Title: Learning Instruction Scheduling Heuristics from
Optimal Data
Michael Chase, MMath, 2006
Title: On the Near-Optimality of List Scheduling Heuristics for
Local and Global Instruction Scheduling
Abid Malik, PhD, 2008
Title: Constraint Programming Techniques for
Optimal Instruction Scheduling
Zijie Li, MMath, 2009
Title: Backdoors in Satisfiability Problems.
Wei Li, PhD, 2010
Title: Exploiting Structure in Backtracking Algorithms
Propositional and Probabilistic Reasoning
Tyrel Russell, PhD, 2010
Title: A Computational Study of Problems in Sports
Vladimir Pisanov, MMath, 2012
Title: Novel Value Ordering Heuristics Using
Non-Linear Optimization in Boolean Satisfiability
Omer Beg, PhD, 2013
Title: Combinatorial Problems in Compiler Optimization
Ray Ruvinskiy, MMath, 2013
Title: Using Decision Tree Voting to Select a Polyhedral Model
Loop Transformation
David Dufour, MMath, 2014
Title: Finding Cost-Efficient Decision Trees
Steven Wang, MMath, 2018
Title: Improved Artificial Neural Network Models for Predicting
Hourly Water Consumption
Irish Medina, MMath, 2018
Title: Predicting Short-Term Water Consumption for Multi-Family
Residences
Valerie Platsko, MMath, 2018
Title: Smart-Meter Enabled Estimation and Prediction of
Outdoor Residential Water Consumption
Jonathan Perrie, MMath, 2019 (co-supervised with D. Brown)
Title: Modelling Chart Trajectories using Song Features
Daniel Tamming, MMath, 2018-2020
Title: Data augmentation for Text Classification Tasks.
Alister Liao, PhD, 2017-2022
Title: Improved Bayesian Network Structure Learning in the Model Averaging Paradigm.
Charupriya Sharma, PhD, 2017-present
Topic: Combinatorial optimization for machine learning.
Casey Abram, PhD (University of Durham), 1995-1996.
Topic: Speech Understanding.
Tyrel Russell, PhD (University of Waterloo), 2011.
Topic: Constraint Programming.
Xiaobu Yuan, PhD candidacy, 1990; PhD thesis examiner, 1991
Suryanil Ghosh, PhD candidacy, 1990; PhD thesis examiner, 1994
Chenghui Wang, PhD candidacy, 1991; PhD thesis examiner, 1996
Chung Hee Hwang, PhD thesis examiner, 1992
Francis Lau, PhD candidacy, 1992; PhD thesis examiner, 1992
Yunqi Sun, PhD candidacy, 1992; PhD thesis examiner, 1994
Yong Hu, PhD thesis examiner, 1993
Stefan Kremer, PhD candidacy, 1993; PhD thesis examiner, 1995
C. Ronald Kube, PhD candidacy, 1994
Michael Boshra, PhD candidacy, 1994
Narendra Ravi, PhD candidacy, 1994
Iqbal Goralwalla, PhD candidacy, 1996; PhD thesis examiner, 1998
David McCaughan, PhD candidacy, 1998
David Medler, PhD thesis examiner, 1998
Jonathan Baldwin, PhD candidacy, 1998
Andreas Junghanns, PhD thesis examiner, 1999
Srinivas Padmanabhuni, PhD thesis examiner, 1999
Fletcher Lu, PhD candidacy, 2001; PhD thesis examiner, 2003
Thomas Tran, PhD candidacy, 2001; PhD thesis examiner, 2003
Finnegan Southey, PhD thesis examiner, 2004
Jiongxiong Chen, PhD thesis examiner, 2005
Marcia Wang, PhD thesis examiner, 2005
Xiangdong An, PhD thesis examiner, 2005
Claude-Guy Quimper, PhD candidacy, 2005; PhD thesis examiner, 2006
Jie Zhang, PhD candidacy, 2007; PhD thesis examiner, 2009
Marcilio Mendonca, PhD candidacy, 2007; PhD thesis examiner, 2009
Georgia Kastidou, PhD thesis examiner, 2010
Amirhossein Vakili, PhD candidacy, 2012
Jiewen Wu, PhD candidacy, 2012; PhD thesis examiner, 2013
John Champaign, PhD candidacy, 2010; PhD thesis examiner, 2012
Lachlan Dufton, PhD candidacy, 2010; PhD thesis examiner, 2013
Samaneh Hosseini Semnani, PhD candidacy, 2012; PhD thesis examiner, 2015
Amirhossein Vakili, PhD candidacy, 2012; PhD thesis examiner, 2016
Ricardo Salmon, PhD candidacy, 2013; PhD thesis examiner, 2018
Areej Alhothali, PhD candidacy, 2014; PhD thesis examiner, 2017
Fathiyeh Faghih, PhD candidacy, 2014
Alan Tsang, PhD candidacy, 2015; PhD thesis examiner, 2017
Wenfu Wang, PhD candidacy, 2015; PhD thesis examiner, 2019
Ed Zulkoski, PhD candidacy, 2016; PhD thesis examiner, 2018
Adrian Waddell, PhD thesis examiner, 2016
Mazen Melibari, PhD thesis examiner, 2016
Hadi Hosseini, PhD thesis examiner, 2016
Atrisha Sarkar, PhD candidacy, PhD candidacy, 2018
Marta Kryven, PhD thesis examiner, 2018
Priyank Jaini, PhD thesis examiner, 2019
Joshua Jung, PhD candidacy, 2020
Mohammad Zarei, PhD candidacy, 2020
Pavel Valov, PhD candidacy, 2018; PhD thesis examiner, 2020
Chunxiao Li, PhD candidacy, 2021
Clayton D. Stafford, Master's thesis examiner, 1990
Sam Farrage, Master's thesis examiner, 1990
Abul K. Salek, Master's thesis examiner, 1991
Andrew E. Walenstein, Master's thesis examiner, 1991
C. Ronald Kube, Master's thesis examiner, 1991
Zhong Li, Master's thesis examiner, 1992
Gregory L. Lobe, Master's thesis examiner, 1993
Kevin Shamanski, Master's thesis examiner, 1993
Lin Shen, Master's thesis examiner, 1993
Stanley K. Melax, Master's thesis examiner, 1993
Chee H. Wong, Master's thesis examiner, 1996
Pawel Jachowicz, Master's thesis examiner, 1998
Candy Pang, Master's thesis examiner, 1999
Tom Harke, Master's essay reader, 2000
Bruce Fraser, Master's reader, 2000
Blake Grant, Master's reader, 2002
Alan Angold, Master's reader, 2003
Jennifer Campbell, Master's reader, 2003
Mike Poznanski, Master's reader, 2003
Chris Micacchi, Master's reader, 2004
Paul Nijjar, Master's reader, 2004
Jane Zhang, Master's reader, 2005
Michael Cheng, Master's reader, 2005
Milen Pavolv, Master's reader, 2008
Selvaprabu Nadarajah, Master's reader, 2008
Daniel Rasmussen, Master's reader, 2010
Joshua Gorner, Master's reader, 2011
Areej Alhothali, Master's reader, 2011
John Finnson, Master's reader, 2012
John Doucette, Master's reader, 2012
Taras Kinath, Master's reader, 2014
Dean Shaft, Master's reader, 2014
Taras Kinath, Master's reader, 2014
Luyuan Lin, Master's reader, 2014
Chengbo Li, Master's reader, 2015
Jordan Ross, Master's reader, 2016
Joshua Jung, Master's reader, 2016
Ben Armstrong, Master's reader, 2018
Lisa Elkin, Master's reader, 2018
Brandon Alcox, Master's reader, 2019
Tim Tse, Master's reader, 2019
Aman Juhnjhnwala, Master's reader, 2019
Alexandre Parmentier, Master's reader, 2020
David Choi, Master's reader, 2020
Gaurav Gupta, Master's reader, 2020
Haonan Duan, Master's reader, 2021
Haonan Duan, Master's reader, 2021
Pascale Walters, Master's reader, 2021
Elliot Nelson, Master's reader, 2022
Zaid Hassan Chaudhry, Master's reader, 2022
Daya Gaur, SFU, Canada, Master's thesis examiner, 1994
Gina Koehn, U. Sask, Canada, Master's thesis examiner, 1994
Michael Dent, U. Western Ontario, PhD thesis examiner, 1996
Jamila Sam, EPFL, Switzerland, PhD thesis examiner, 1995
Rattana Wetprasit, Griffith U., Australia, PhD thesis examiner, 1998
Vladimir Ryabov, U. of Jyvaskyla, Finland, Ph. Lic. examiner, 2001
Vladimir Ryabov, U. of Jyvaskyla, Finland, PhD thesis examiner, 2002
Yuanlin Zhang, National U of Singapore, PhD thesis examiner, 2003
Diana Cuikierman, SFU, Canada, PhD thesis examiner, 2003
Zeynep Kiziltan, Uppsala University, Sweden,
PhD thesis examiner, 2004
Duc Nghia Pham, Griffith U., Australia, PhD thesis examiner, 2006
Emmanuel Hebrard, Sydney, Australia, PhD thesis examiner, 2006
George Katsirelos, U. of Toronto, Canada, PhD thesis examiner, 2008
Andrei Missine, SFU, Canada, PhD thesis examiner, 2010
Alessandro Zanarini, Ecole Poly. de Montreal,
Canada, PhD thesis examiner, 2010
Nina Naroditskaya, UNSW, Australia, PhD thesis examiner, 2011
Geoffrey G. Chu, U. of Melbourne, Australia,
PhD thesis examiner, 2011
Maher Al Hossaini, U. of Toronto, Canada, PhD thesis examiner, 2013
Roberto Castaneda Lozano, KTH, Sweden, Ph. Lic. examiner, 2014
Mohamed Ibrahim, Ecole Poly. de Montreal, Canada, PhD thesis examiner, 2015
Ozan Erdem, U. of Toronto, Canada, PhD thesis examiner, 2016
Christopher Srinivas, U. of Toronto, PhD thesis examiner, 2017
Gabriel Hjort Blindell, KTH, Sweden, PhD thesis examiner, 2018
Kari Rantanen, University of Helsinki, PhD thesis opponent, 2021
Kyle E. C. Booth, U. of Toronto, PhD thesis examiner, 2021
Md Solimul Chowdhury, U. of Alberta, PhD thesis examiner, 2021
Fulya Trosser, Universite de Toulouse, PhD thesis rapporteur, 2022
Yasha Robert Pushak, UBC, PhD thesis examiner, 2022