Peter van Beek

Cheriton School of Computer Science
University of Waterloo

Teaching

Courses

 

CS 245, Logic and Computation
Home Page: www.student.cs.uwaterloo.ca/~cs245

CS 486/686, Introduction to Artificial Intelligence
Home Page: cs.uwaterloo.ca/~vanbeek/Teaching/cs486

CS 886v, Constraint Programming
Home Page: cs.uwaterloo.ca/~vanbeek/Teaching/cs886v

Undergraduate research assistants

 

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

Graduate students

 

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, 2013-present
Topic: Big water data

Irish Medina, MMath, 2015-present
Topic: Big water data

Valerie Platsko, MMath, 2015-present
Topic: Big water data

Jonathan Perrie, MMath, 2016-present
Topic: TBA

Postdoctoral fellows

 

Casey Abram, PhD (University of Durham), 1995-1996.
Topic: Speech Understanding.

Tyrel Russell, PhD (University of Waterloo), 2011.
Topic: Constraint Programming.

Matthew Kitching, PhD (University of Toronto), 2011-2012.
Topic: Constraint Programming.

Internal committee memberships

 

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
Ricardo Salmon, PhD candidacy, 2013
Areej Alhothali, PhD candidacy, 2014
Fathiyeh Faghih, PhD candidacy, 2014
Samaneh Hosseini Semnani, PhD candidacy, 2012; PhD thesis examiner, 2015
Wenfu Wang, PhD candidacy, 2015
Alan Tsang, PhD candidacy, 2015
Adrian Waddell, PhD thesis examiner, 2016
Amirhossein Vakili, PhD candidacy, 2012; PhD thesis examiner, 2016
Mazen Melibari, PhD thesis examiner, 2016
Hadi Hosseini, PhD thesis examiner, 2016

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

External committee memberships

 

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