Current students and research fellows

MohammadHossein Karimian, Master's Student (started in September 2023)
Topic: Actual causation in the situation calculus concurrent game structures (SCSGS) and formalizing responsibility and blame

Jawad Ahmed, Master's Student (started in September 2024)
Co-supervised by Dr. Sandra Zilles
Topic: TBD

Aina Alyssa Binti Sazali, Mitacs Globalink 2025 intern (June to August 2025)
Topic: Exploring the role of causation in law II
Last seen: Bachelor of Laws student at University of Manchester, United Kingdom

Shuyi Wang, Mitacs Globalink 2025 intern (June to September 2025)
Topic: Exploring the role of emotions in rational decision making
Last seen: Bachelor's student in the School of Philosophy at Shanxi University, China

Satyam Hitendra Singh, Undergraduate Research Assistant (May to August 2025)
Topic: Logic-based cognitive robot programming
Last seen: Bachelor's student at the University of Regina, Canada

Mitacs Globalink interns, August 2025
(R to L: Shuyi Wang, Shakil M. Khan, Aina Alyssa Binti Sazali)

Postdoctoral Fellows:
- Dr. Maryam Rostamigiv, Postdoctoral Research Fellow (January 2023 to January 2025)
  Co-supervised by Dr. Yves Lespérance
  Topic: Abstraction in reasoning about interaction with other agents and topics in causal reasoning
Masters Students:
- Asim Mehmood (September 2022 to December 2024)
  M.Sc. Thesis: Towards Root Cause Analysis in Hybrid Dynamic Domains
Undergraduate Researchers
- Hannah Louise Wilk, Mitacs Globalink 2024 intern (May to August 2024)
  Bachelor's Thesis (CS@RWTH Aachen University, Germany): Translation-Based Theorem Proving for First-Order Modal Logic
  (Primary supervisor: Dr. Gerhard Lakemeyer, advisor: Qihui Feng)
  Last seen: Master's student at the University of Amsterdam, the Netherlands
- Jenna Ruth Mullan, Mitacs Globalink 2024 intern (June to August 2024)
  Project Report: Exploring the Role of Causation in Tort Law
  Last seen: Bachelor of Laws student at the Queen's University of Belfast, UK
- Mriana Yadkoo, Undergraduate Research Assistant (May to December 2023)
  Topic: Causation in non-deterministic situation calculus
  Last seen: Master's student at the University of Windsor, Ontario, Canada

Last modified: August 2025