haz.ca

Christian Muise
Assistant Professor
Queen's University

Curriculum Vitae

Education

Ph.D., Computer Science

University of Toronto, Ontario, Canada [Feb. 2009 - Feb. 2014]
  • Thesis: "Exploiting Relevance to Improve Robustness and Flexibility in Plan Generation and Execution"
  • Advisors: Professor Sheila A. McIlraith and Professor J. Christopher Beck
  • CGPA of 11.50 / 12.00

Masters, Computer Science

University of Toronto, Ontario, Canada [Sept. 2007 - Jan. 2009]
  • Thesis: "Exploiting Modern #SAT-Solving Techniques to Generate Implicants"
  • Advisors: Professor Sheila A. McIlraith and Professor J. Christopher Beck
  • CGPA of 11.50 / 12.00

Bachelor of Computer Science: Software and Computing, Minor in Mathematics

Carleton University, Ottawa, Canada [Sept. 2002 - Aug. 2007]
  • Thesis: "Audio Panning in Ardour"
  • Advisor: Dr. Louis Nel
  • CGPA of 11.19 / 12.00

Honours and Awards

[2020] Best System Demo at AAAI Conference on Artificial Intelligence
[2018] Best System Demo at the International Conference on Automated Planning and Scheduling (ICAPS)
[2016-17] National Sciences and Engineering Research Council (NSERC) Post-doctoral Fellowship
[2016] Winner of the International Competition on Knowledge Engineering for Planning and Scheduling (ICKEPS)
[2016] Best System Demo at the International Conference on Automated Planning and Scheduling (ICAPS)
[2015] Selected Participant for the 3rd Heidelberg Laureate Forum
[2015] Best dissertation award at the International Conference on Automated Planning and Scheduling (ICAPS)
[2015] First place in the Time Track, and runner up in the Quality and Coverage tracks at the Competition of Distributed and Multiagent Planners
[2013] Google Places API Developer Challenge Judge's Choice Award
[2012] Top submission for the Graduate Student Symposium of the Canadian Conference on Artificial Intelligence
[2012] Bell Graduate Scholarship
[2012] Ray Reiter Graduate Award
[2012] Random Hacks of Kindness Best Toronto Project Award for "TABS on Toronto"
[2011] Random Hacks of Kindness Best Toronto Project Award for "Hermes Message Carrier"
[2007-11] National Sciences and Engineering Research Council (NSERC) Canada Graduate Scholarship
[2011] NSERC Alexander Graham Bell Scholarship
[2007] University Medal for graduating at the top of my undergraduate class
[2007] NSERC Undergraduate Student Research Award: Carleton Computational Geometry Group
[2006] NSERC Undergraduate Student Research Award: D-Wave Systems
[2002] Nortel Networks Scholarship for Carleton University

Research Visits and Invited Talks

[2018] Panel member and mentor for the ICAPS Doctoral Consortium
[2018] Invited to the Dagstuhl Seminar on Planning and Operations Research to give a tutorial on planning
[2017] Invited keynote at the Workshop on Knowledge Engineering for Planning and Scheduling
[2017] Panel member at the Panel member at the Workshop on User Interfaces and Scheduling and Planning
[2016] Invited lecture at the University of New Hampshire's Computer Science Department
[2016] Invited lecture at MIT's Learning and Intelligent Systems Group
[2016] Invited lecture at MIT's Interactive Robotics Laboratory
[2016] Two guest lectures for MIT's 16.412: Cognitive Robotics
[2015] Invited to a Lorentz Symposium to present my research
[2015] Research visit to (NICTA): Australia's Information and Communications Technology Research Centre of Excellence
[2014/15] Research visits to the University of Toronto
[2014/15] Guest lecture for Melbourne University's COMP90054: Software Agents
[2014] Two invited lectures at the Melbourne AgentsVic research group
[2012/13] Presented PhD research at the Research In Action showcase
[2009] Studied with the planning group at the University of Strathclyde, Glasgow, Scotland
[2004] Train-IT Exchange Program to Royal Institute of Technology (KTH), Stockholm, Sweden

Work Experience

Assistant Professor

Queen's University, Kingston, Canada [Jan. 2020 - present]
  • Head of the Mu Lab research group

Research Staff Member

IBM Research AI, Cambridge, USA [Oct. 2017 - Dec. 2019]
  • Conducted research on goal oriented planning and learning for dialogue systems
  • Lead a team of 5 researchers and engineers for our work in dialogue
  • Took an active role in hiring and recruitment for the growth of the lab

Research Fellow

Massachusetts Institute of Technology, Cambridge, USA [Jan. 2016 - Oct. 2017]
  • Conducted research on plan synthesis in the presence of temporal uncertainty
  • Developed OR-based decision support system for network optimization in the EdgeCT DARPA project
  • Organized and ran graduate recruitment activities, as well as orientation for several new researchers
  • Lead the restructuring of the CSAIL MERS group operational policies to accommodate a 100% increase in group size
  • Supervised several PhD students working on model based reasoning for planning and scheduling

Research Fellow

University of Toronto, Toronto, Canada [Nov. 2015 - Dec. 2015]
  • Conducted research on planning with linear temporal logic
  • Collaborated with former advisor and existing students on their research

Research Fellow

University of Melbourne, Victoria, Australia [Oct. 2013 - Oct. 2015]
  • Conducted research for the project, "Foundations of Human-Agent Collaboration:
    Situation-Relevant Information Sharing" (Australian Research Council Grant DP130102825)
  • Co-authored funding applications for continuing the project's research agenda
  • Tutored the undergraduate course, COMP30022: IT Project
  • Arranged reading groups for topics including automated planning, game theory, and machine learning
  • Organized a one week research visit for University of Melbourne researchers to the University of Toronto
  • Organized a three day research visit for NICTA Canberra researchers to the University of Melbourne

Teaching Assistant

University of Toronto, Ontario, Canada [2007 - 2013]
  • Assisted with courses ranging from undergraduate introductory CS topics to graduate-level topics in AI
  • Duties included teaching tutorials and lectures, as well as marking assignments and exams
  • Worked with a number of students to extend the scope of their course-work for larger research projects

Volunteer Experience

Founder and Lead Developer

Planning.Domains, Virtual Collaboration [2014 - Present]
  • Started an initiative for researchers to interact with benchmark problems in the field of Automated Planning
  • Developed a series of online services in support of the initiative:
  • Secured funding for the initiative's online services from the ICAPS international organization
  • Formed a multi-institutional team to continue the development of the services for the community

Founder and Lead Discussant

Modelling Mondays, Virtual Collaboration [2012 - 2014]
  • Founded a bi-weekly online meeting / seminar series on modelling techniques for automated planning
  • Arranged live tutorials from experts in the field to be recorded for the general research community

Technical Lead

Toronto Public Spaces Initiative TABS on Toronto Project, Ontario, Canada [2012 - 2013]
  • Developed an online portal to alert Toronto citizens of upcoming City Hall agenda items
  • Worked with global initiatives from the US and India to help bring similar technology to their own locales

Advisory Experience

Joseph Kim

Massachusetts Institute of Technology - Doctoral Student [May. 2018 - Aug. 2018]
  • Project: Induction of Linear Temporal Logic
  • Role: Guided research and monitored progress
  • Primary supervisor: Julie Shah

Nikhil Bhargava

Massachusetts Institute of Technology - Doctoral Student [Feb. 2017 - Oct. 2017]
  • Project: Multi-agent communication for joint temporal execution
  • Role: Guided research and monitored progress
  • Primary supervisor: Brian Williams

Yuening Zhang

Massachusetts Institute of Technology - Doctoral Student [Feb. 2017 - Oct. 2017]
  • Project: Preference-based decompositions for multi-agent scheduling
  • Role: Guided research and monitored progress
  • Primary supervisor: Brian Williams

Jingkai Chen

Massachusetts Institute of Technology - Masters Student [Sept. 2016 - Oct. 2017]
  • Project: EdgeCT -- Optimizing Network Communication Strategies
  • Role: Guided research and monitored progress
  • Primary supervisor: Brian Williams

Steven Levine

Massachusetts Institute of Technology - Doctoral Student [July 2016 - Oct. 2017]
  • Project: Temporal Execution Monitoring
  • Role: Guided research and monitored progress
  • Primary supervisor: Brian Williams

Simon Fang

Massachusetts Institute of Technology - Doctoral Student [Sept. 2016 - Feb. 2017]
  • Project: EdgeCT -- Optimizing Network Communication Strategies
  • Role: Monitored project progress
  • Primary supervisor: Brian Williams

Andrew Wang

Massachusetts Institute of Technology - Doctoral Student [July 2016 - Feb. 2017]
  • Project: Dynamic Controllability
  • Role: Guided research and monitored progress
  • Primary supervisor: Brian Williams

Peng Yu

Massachusetts Institute of Technology - Doctoral Student [May 2016 - Sept. 2016]
  • Project: Collaborative Diagnosis of Over-Subscribed Temporal Plans
  • Role: Guided research and served as official reader for thesis
  • Primary supervisor: Brian Williams

Alberto Camacho

University of Toronto - Doctoral Student [Sept. 2014 - Present]
  • Project: Probabilistic Planning -- Solving MAXPROB With FOND
  • Role: Guided research and advised student on career objectives
  • Primary supervisor: Sheila McIlraith

Rehan Aziz

University of Melbourne - Doctoral Student [June 2014 - Aug. 2015]
  • Project: Knowledge Compilation With Projected Variables
  • Role: Guided research
  • Primary supervisor: Peter Stuckey

Akshay Ganesh

University of Toronto - Undergraduate Student [May 2013 - Dec. 2013]
  • Project: Probabilistic Planning Using FOND
  • Role: Lead research agenda and monitored progress
  • Primary supervisor: Sheila McIlraith

Daniel Katz

University of Toronto - Undergraduate Student [May 2013 - Sept. 2013]
  • Project: Frameworks for Planning With Partial Observability
  • Role: Lead research agenda and monitored progress
  • Primary supervisor: Sheila McIlraith

Academic Service

Organizing Committee

International Conference on Automated Planning and Scheduling (ICAPS) -- Workshop Chair [2020]
NeurIPS Workshop on Knowledge Representation and Reasoning Meets Machine Learning [2019]
IBM's AI Research Week Workshop on Neuro-Symbolic Computing and Machine Common Sense [2019]
International Conference on Automated Planning and Scheduling (ICAPS) -- Journal Track Chair [2019]
Workshop on Knowledge Engineering for Planning and Scheduling (KEPS) [2019]
"From Teaching the PDDL Novice to Empowering the Planning Solution Integrator" Tutorial at ICAPS [2019]
Local Organizer for IBM's AI Research Week Workshop on KR Meets ML [2018]
Workshop on Heuristics and Search for Domain-independent Planning (HSDIP) [2016,2018]
Workshop on Planning, Search, and Optimization (PlanSOpt) [2017]
Planning.Domains Tutorial at the International Conference on Automated Planning and Scheduling (ICAPS) [2016]
International Conference on Automated Planning and Scheduling (ICAPS) -- Publicity Chair [2016]
International Planning Competition on Unsolvable Planning Instances [2016]
Tidel Operations Research Challenge, Toronto, ON. [2011-2013]
DCS Symposium on Trends in Computing, Toronto, ON. [2010]

Senior Program Committee

International Joint Conference on Artificial Intelligence (IJCAI) [2020]
Conference on Artificial Intelligence (AAAI) [2019]

Program Committee

International Joint Conference on Artificial Intelligence (IJCAI) [2011,2015,2016,2018]
International Conference on Automated Planning and Scheduling (ICAPS) [2015,2016,2017,2018]
Workshop on Generalized Planning (GenPlan) [2017]
Symposium On Combinatorial Search (SoCS) [2016]
AAAI Conference on Artificial Intelligence (AAAI) [2015]
European Conference on Artificial Intelligence (ECAI) [2014]
ICAPS Workshop on Planning in Games [2013]
AAAI Workshop on Problem Solving using Classical Planners [2012]
North Eastern Student Colloquium on Artificial Intelligence (NESCAI) [2010]

Reviewer

Artificial Intelligence Journal (AIJ) [2015,2016,2019]
Demo Track for AAAI Conference on Artificial Intelligence [2019]
Journal of Artificial Intelligence Research (JAIR) [2013,2014,2018]
National Science Foundation (NSF) Proposal Review Panel [2016]
International Conference on Automated Planning and Scheduling (ICAPS) [2010,2013,2014]
Conference on Artificial Intelligence (AAAI) [2010,2014]
Conference on Principles of Knowledge Representation and Reasoning (KR) [2014]
International Conference on Autonomous Agents and Multiagent Systems (AAMAS) [2014]
North Eastern Student Colloquium on Artificial Intelligence (NESCAI) [2008]

© 2020 Prof. Christian Muise