Shakil M. Khan

Dr. Shakil M. Khan is the SaskPower Assistant Professor in Artificial Intelligence at the University of Regina's Department of Computer Science. His primary research develops formal models for causal reasoning in artificial intelligence, focusing on knowledge representation and rational agent systems. He holds a Ph.D. from York University and leads the PRACToR lab.

Education:

• Ph.D. Computer Science, York University (2018)
• B.Sc. Computer Science, University of Windsor

Dr. Khan's research program develops logical frameworks for actual causation in nondeterministic domains, with applications to explainable AI and multi-agent systems. His work combines situation calculus with game-theoretic approaches to model causal relationships and responsibility attribution. Current projects investigate abstraction techniques for concurrent game structures and root cause analysis in hybrid dynamic systems.

His publications demonstrate strong theoretical foundations in logic-based AI, with recent articles exploring the semantics of causality, knowledge representation, and agent modeling. Research keywords frequently include situation calculus, formal verification, and multi-agent systems.

Dr. Khan supervises graduate students working on causal reasoning projects and has received NSERC Discovery funding (2022-2027). He serves on program committees for leading AI conferences including AAAI, IJCAI, and KR. Dr. Khan teaches courses in discrete structures, artificial intelligence, and knowledge representation.