Director

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

Research Students

	Oksana Pichugina Postdoctoral Fellow Ph.D. in Mathematical Modelling and Numerical Methods, Dr. of Sciences in Mathematics, Kharkiv National University of Radioelectronics, 2019 opich@mie.utoronto.ca Projects: Unconstraint Quadratic Binary Optimization (QUBO), Solving Complex Problems with QUBO-based Specialized Hardware, Vehicle Routing and Scheduling Problems Modelling, Evolutionary Algorithms
	Yingcong Tan (Tan) Postdoctoral Fellow Ph.D. in Industrial Engineering, Concordia University, 2021 yctan@mie.utoronto.ca Projects: Complex Vehicle Routing, Inverse Reinforcement Learning, Inverse Optimization
	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
	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
	Ryo Kuroiwa Ph.D. Candidate M.Sc., Multidisciplinary Science, University of Tokyo, 2020 ryo.kuroiwa@mail.utoronto.ca Projects: Domain-Independent Dynamic Programming Solver, Heuristic Search for AI Planning
	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
	Litong Zheng M.A.Sc. Candidate B.A.Sc., Industrial Engineering, University of Toronto, 2021 litong.zheng@mail.utoronto.ca Project: Automated Pre-procedure Fasting Instruction System Using Machine Learning

Alumni and Their Projects


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