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 3 theses on modelling & simulation for e.g. social choice theory, bot detection and crowd analysis. Also teaching in the course Intelligent Systems (2025).
• MSc Artificial Intelligence: 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, 2023), and guest lecturing for Multiagent Systems (2024).
• BSc Computer Science: Computer Science Project (2022/2023, 2023/2024), Logic for Computer Science (2023/2024)
• Other: Supervision 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