Supervisions

PhD Students:

Ned Wontner (ILLC co-Promotor 2023) Views from a Peak. 

Master's Students:

Jasper Stammes (MSc Logic, U Amsterdam 2024) with Benno van den Berg: Ordinal Reductions on Choice Principles

Gian Marco Osso (MSc Logic, U Amsterdam 2022) with Benedikt Löwe: Some results on the Generalized Weihrauch Hierarchy

Ethan Lewis (MSc Logic, U Amsterdam 2018) with Benedikt Löwe: Computation with Infinite Programs

Bachelor's Students:

Nicholas Denis  (AUC 2024): Manipulability in Party List Proportional Representation

Pedram Noohi (AUC 2023): An Introduction to Nonstandard Analysis and Its Applications

Fiammetta Rosenblatt (AUC 2023): Epistemic Threshold Models: A Logical Approach to Network Dynamics

Savanna Leake (AUC 2022): Exploring the Impact of Teaching Pedagogies on Conceptual Understanding in First Year Calculus Courses at Universities. 

Victor van der Sman (AUC 2022): Novel framework for the surveillance task in swarm robotics capable of using built in gap test

Alexia Muresan (AUC 2022): Algorithmic Discrimination: Understanding and Confronting AI Bias

Daniel Mol (AUC 2022): On Proof Checking and Automatic Theorem Proving using Natural Deduction.

Baran İşcanlı (AUC 2021): Feeling Lucky? An Introduction to Probabilistc Programming and Inference.

Zoë Prins (AUC 2021): A Logical Threshold Model for the Diffusion of Infections and Vaccinations in Social Networks.

Terts Diepraam (AUC 2020): Removing Confusion in Locally Finite Petri Nets.

Laura van der Lingen (AUC 2018) with Dora Achourioti: The dialectic between the classical and intuitionistic formulations of the continuum: Are they as incompatible as Brouwer would state?

Maarten Vonk (BSc Wiskunde, U Amsterdam 2016) with Benedikt Löwe: Surreal Numbers