Director

J. Christopher Beck
Professor
Ph.D. Computer Science, University of Toronto, 1999
jcb@mie.utoronto.ca

Research Students

	Arnoosh Golestanian Ph.D. Candidate M.Sc., Computer Science, University of Alberta, 2017 arnoosh@mie.utoronto.ca Project: Data-Driven Cargo Network Planning in Northern Canada
	Daniel Pekar M.A.Sc. Candidate B.A.Sc., Civil Engineering, University of Toronto, 2022 daniel.pekar@mail.utoronto.ca Projects: State Dependent Optimization, Travelling Salesperson Problem with Self-Deleting Graphs
	Jiachen (Jason) Zhang Ph.D. Candidate M.A.Sc, Electrical and Computer Engineering, University of Toronto, 2019 jasonzjc@mie.utoronto.ca Projects: Hardware-Based Approaches for Shceudling and Matching, Pickup and Delivery Problem with Transfers
	Minori Narita Ph.D. Candidate M.Sc., Computer Science, University of Massachusetts Amherst, 2021 minori.narita@mail.utoronto.ca Project: Neuro-symbolic Techniques for Solving Combinatorial Optimization Problems
	Yuxiao (Jasper) Chen Ph.D. Candidate M.A.Sc., Mechanical and Industrial Engineering, University of Toronto, 2023 yuxiao.chen@mail.utoronto.ca Project: Multi-resource Server Planning in Cloud Based on Queuing and Combinatorial Model

Alumni and Their Projects


Oksana Pichugina	"Deriving Compact QUBO Models via Multilevel Constraint Transformation"
Yingcong Tan (Tan)	"Deriving Compact QUBO Models via Multilevel Constraint Transformation"
Ryo Kuroiwa	"Domain-Independent Dynamic Programming"
Litong Zheng	"Learning the Discount Factor in Inverse Reinforcement Learning with Application to Animal Behaviour"
Giovanni Lo Bianco	"Solving Job-Shop Scheduling Problems with QUBO-Based Specialized Hardware"
Anton Korikov	"Counterfactual Explanations for Discrete Optimization"
Yiqing (Louis) Luo	"Decision Diagrams and Large Neighbourhood Search for Earliness Tardiness Single Machine Scheduling with Sequence Dependent Setups"
Victor Lo	"Decision Diagrams and Large Neighbourhood Search for Earliness Tardiness Single Machine Scheduling with Sequence Dependent Setups"
Kyle Booth	"Constraint Programming Approaches to Electric Vehicle and Robot Routing Problems"
Margarita Castro	"Optimization Methods based on Decision Diagrams for Constraint Programmin g, AI Planning, and Mathematical Programming"
Eldan Cohen	"Empirical Models of Heuristic Search in AI Planning and Neural Sequence Decoding"
Tanya Tang	"Exact and Heuristic Approaches to Batching-and-Sch ed uling for the Composites Manufact uring Problem"
Victor Lo	"Decision Diagra ms and Large Neighbourhood Search for Earliness Tardiness Single Machine Scheduling with Sequence Dependent Setups"
Ranjith Kumar	"Exact Methods to Solve the Fair Allocation Problem in the Social Needs Marketplace"
Stefana Filipova	"A Formal Analysis of the Propagation for the Ellipsoid Global Constraint and an Application to the Selective Tree Breeding Problem"
Chang Liu	"Modeling and Solving the Senior Transportation Problem"
Wen-Yang Ku	"Hybrid Exact Methods for Solving Strictly Convex Integer Quadratic Programs"
Tony Tran	"Decomposition Methods for Complex Scheduling Applications"
Buser Say	"Mixed-Integer Linear Programming Models for Least-Commitment Partial-Order Planning"
Christian Muise	"Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution"
Maliheh Aramon Bajestani	"Integrating Maintenance Planning and Production Scheduling: Making Operational Decisions with a Strategic Perspective"
Maher Alhossaini	"Remodeling Planning Domains Using Macro Operators and Machine Learning"
Daria Terekhov	Integrating Combinatorial Scheduling with Inventory Management and Queueing Theory
T.K. Feng	Satellite Scheduling
Lei Duan	Multi-agent Negotiation
Mohammad M. Fazel-Zarandi	Using Decomposition to Solve Facility Location/Fleet Management Problems
Samuel Gabrielsson	A Parallel Tabu Search Algorithm for the Quadratic Assignment Problem
Shoshana Hahn	Defining, Modeling, and Solving a Real University Course Timetabling Problem
Ivan Heckman	Empirical Analysis of Solution Guided Multi-Point Constructive Search
Anna Michalak	Constraint Programming for Stochastic Problems
Dave Yoon	Empirical Analysis of Local Search Algorithms and Problem Difficulty in Satisfiability

Previous Group Photos

Tidel 2018
Group 2018

Tidel 2017
Group 2017

Tidel 2016
Group 2016

Tidel 2015
Group 2015

Tidel 2013
Group 2013

Tidel 2011
Group 2011

Tidel 2010
Group 2010

University of Toronto Mechanical and Information Engineering