curriculum vitae

PhD in Artificial Intelligence

• Intelligent Systems, Utrecht University, The Netherlands
• Working on logic for multiagent systems (specifically belief & intention revision), with an increased teaching load.
• Doctoral advisors: Natasha Alechina, Mehdi Dastani, and Dragan Doder

MSc in Logic

• University of Amsterdam
• Thesis: Multivalued Coalgebraic Modal Logic for Multiagent Systems and Multiplayer Games
• Thesis supervisors: Alexander Kurz and Yde Venema
• Simultaneously did the MSc in Artificial Intelligence: took the courses, but did not write a thesis

BSc in Computer Science

• University of Amsterdam
• Thesis: A Performance Analysis of Filtering Methods Applied to WiFi-Based Position Reconstruction
• Thesis supervisors: Michael Lees and Philip Rutten

Teaching and TAing at Utrecht University

• BSc Artificial Intelligence: Supervised many theses in various subjects within AI. Also co-teacher of the course Intelligent Systems (2025).
• MSc Artificial Intelligence: Supervised MSc thesis of Sterre Lutz (2022/2023, r-PLBP: Temporal Logic for Reasoning about Safety and Rewards of Bounded Policies Under Uncertainty), won the Dutch Logic Association's Master's thesis prize. TAing for Methods in AI Research (2022 - 2025), and guest lecturing for Multiagent Systems (2024).
• BSc Computer Science: Computer Science Project (2022/2023, 2023/2024), Logic for Computer Science (2023/2024, 2024/2025)
• Other: Supervision of multiple groups of high school students' theses on the topic of epistemic logic, as part of the U-Talent programme (2023, 2024)

Teaching Assistant at University of Amsterdam

• TAed for 6 courses throughout the BSc Computer Science, BSc Mathematics, BSc and MSc Artificial Intelligence, and the MSc Logic.

Sub-reviewing

• 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)
• 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)
• 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
• Citizen-Centric Multiagent Systems 2023 (CMAS 2023)
• 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021)

Organization

• Utrecht University AI & Data Science Lunch Seminars
• VvL Essentials Seminars
• Dutch Logic PhD Day 2023
• Algebra, Categories and Logic in Computing: A Farsi-English Workshop (2023)

Volunteering

• Logic Colloquium 2024
• Progic 2023

AMS MRC Grant

• Supported by National Science Foundation under Grant Number DMS 1641020
• Funding for:
• Travel, stay and participation costs for the AMS MRC 2022 on Applied Category Theory in Java Center, NY, USA
• Travel, stay and participation costs for the JMM 2023 in Boston, MA, USA
• Travel and stay for a brief research visit to the Queen Mary University London

Travel Grant for SYCO 10

• Financial support from the University of Edinburgh to attend SYCO 10 in 2022 in Edinburgh, Scotland, UK

Travel Grant for ACT 2022

• Financial support from the Topos Institute to attend ACT 2022 in Glasgow, Scotland, UK