Shakil M. Khan

Assistant Professor of Artificial Intelligence
and organiser of the PRACToR lab

Address

Prospective students (please read this before emailing!)

Research Interests

• Knowledge Representation and Reasoning
• Autonomous Agents and Multiagent Systems
• Cognitive Robotics

Recent Publications

Recently Funded Projects

• Action-Theoretic Formalization of Actual Causation and its Applications
  —NSERC Discovery Grant (2022 to 2027) and Discovery Launch Supplement (2022)
  —FoS Annual Graduate Student Support, University of Regina (2022 to 2024)
  
  
• Robust, Efficient, and Scalable Control of Hybrid Energy Systems using Artificial Intelligence Planning
  —Mitacs/L2M Accelerate Entrepreneur fellowship (Sep 2020 to Dec 2020, declined)
  —Co-investigator: Mikhail Soutchanski
  
  
• Programming Rational Agents I
  —OGSST grant, Government of Ontario (2008 to 2009)

Current Students

Current/Recent Courses

• CS 201-001 Introduction to Digital Systems, Fall 2024, course web page (via UR Courses).
• CS 820/421 Advanced Artificial Intelligence, Fall 2024, course web page (via UR Courses).
• CS 890EW Reasoning about Rational Agents, Summer 2024, course web page (via UR Courses, reading course).
• CS 115-001 Object-Oriented Design, Winter 2024, course web page (via UR Courses).
• CS 201-001 Introduction to Digital Systems, Fall 2023, course web page (via UR Courses).
• CS 890EV/490DI Knowledge Representation and Reasoning, Fall 2023, course web page (via UR Courses).
• CS 890EW Reasoning about Rational Agents, Summer 2023 (reading course).
• CS 201-001 Introduction to Digital Systems, Winter 2023, course web page (via UR Courses).
• CS 890EV Knowledge Representation and Reasoning, Fall 2022, course web page (via UR Courses).
• CS 310-001 Discrete Computational Structures, Fall 2022, course web page (via UR Courses).
• CS 310-001 Discrete Computational Structures, Winter 2022 @URegina, course web page (via UR Courses).
• CSE 2021M Computer Organization, Winter 2014 @York, course web page.
• INFR 2810 Computer Architecture, Fall 2012 @UOIT.
• CSE 2021 Computer Organization, Summer 2012 @York, course web page.
• CSE 2021 Computer Organization, Summer 2011 @York, course web page.
• CSE 3401 Functional and Logic Programming, Summer 2008 @York, course web page.

Recent Service

• Member of Scholarships & Fellowships Selection Committee for Computing Sciences, NSERC (October 2023 to June 2026).

• Member of Scientific Advisory Board, Banff International Research Station for mathematical innovation and discovery (BIRS) (2025 to 2027).
• Member of Equity, Diversity and Inclusion Advisory Board, Banff International Research Station for mathematical innovation and discovery (BIRS) (2025 to 2027).

• Technical Reviewer for J. of Autonomous Agents and Multi-Agent Systems (2020, 2009).
• Novel Program Committee Board (PCB) member of IJCAI: 2022 to 2024.
• PC Member of AAAI (2021 to 2025, 2019), AAMAS (2023 to 2025, 2020, 2019), ECAI (2024, 2022, 2020), IJCAI (2020 to 2024, 2011), KR (2024), Canadian AI (2024, 2025), and IntEx@ICAPS (2020 to 2023).
• Since 2005, I also regularly participate as technical reviewer for various major AI events, including AAAI, AAMAS, ECAI, IJCAI, KR, and Canadian AI.

Previous Experience

• SaskPower Assistant Professor in Artificial Intelligence, July 2021 to July 2024
  Department of Computer Science, University of Regina, Regina, SK, Canada.
• Research Scholar (Artificial Intelligence), October 2020 to June 2021
  Ronin Institute for Independent Scholarship, Montclair, NJ, USA.
• Postdoctoral Research Fellow, July 2018 to June 2020
  Department of Computer Science, Toronto Metropolitan University, Toronto, Ontario, Canada.
• Research Associate, 2011
  School of Information Technology, York University, Toronto, Ontario, Canada.
• Research Associate, May to August 2016
  Research Assistant, 2004 to 2010
  Department of Electrical Engineering & Computer Science, York University, Toronto, Ontario, Canada.
• Undergraduate Research Assistant, 2000
  School of Computer Science, University of Windsor, Windsor, Ontario, Canada.

Causal Reasoning Software

I hope to have a better and more generic implementation available publicly in the near future.