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

Thesis Supervision at Utrecht University

• BSc Artificial Intelligence: Daan Horstman (2022, Trustworthiness in Social Choice: A Simulation-Based Study of Trust in Elections), Rick van Roon (2022, Bot Detection in Social Media: An Alternative to Machine Learning),
• MSc Artificial Intelligence: Sterre Lutz (2022/2023, r-PLBP: Temporal Logic for Reasoning about Safety and Rewards of Bounded Policies Under Uncertainty)
• Other: Supervision of two high school students' theses on the topic of epistemic logic, as part of the U-Talent programme (2023)

Teaching Assistant at Utrecht University

• BSc Computer Science: Computer Science Project (2022/2023, 2023/2024)
• MSc Artificial Intelligence: Methods in AI Research (2022, 2023)

Teaching Assistant at University of Amsterdam

• BSc Computer Science: Introduction to Programming (2016), Programming Languages (2016), Multimedia (2017)
• BSc Artificial Intelligence: Linear Algebra (2017)
• BSc Mathematics: Introduction to Mathematical Logic (2019)
• MSc Artificial Intelligence, MSc Logic: Knowledge Representation and Reasoning (2021)

Sub-reviewing

• 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

• Dutch Logic PhD Day 2023
• Algebra, Categories and Logic in Computing: A Farsi-English Workshop (2023)

Volunteering

• 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

European Association for Multi-Agent Systems (EURAMAS)

Netherlands Research School for Information and Knowledge Systems (SIKS)

American Mathematical Society (AMS)

Association for Logic, Language and Information (FoLLI)

European Association for Computer Science Logic (EACSL)

Association for Computing Machinery (ACM)

• Also part of the ACM Special Interest Group on Logic and Computation (ACM SIGLOG)

European Joint Conferences on Theory and Practice of Software (ACM)

VEReniging Software Engineering Nederland (VERSEN)

• The Dutch National Association for Software Engineering

Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen (VvL)

• The Dutch Association for Logic and Philosophy of Sciences