Publications

Conservativity of Type Theory over Higher-order Arithmetic.
LIPIcs, Volume 288, CSL 2024.
Coauthor: Benno van den Berg.
paper slides cite

Theses

De Jongh’s Theorem for Type Theory.
MSc Thesis, University of Amsterdam, 2022.
Supervisor: Benno van den Berg.
thesis slides cite
M-types and Bisimulation.
BSc Thesis, Leiden University, 2020.
Supervisors: Henning Basold, Peter Bruin.
thesis slides cite

Events

EuroProofNet WG6 and HoTT/UF. Leuven, 2–5 April 2024.
Talk: Models for Axiomatic Type Theory. slides
CSL 2024. Naples, 19–23 February 2024.
Talk: Conservativity of Type Theory over Higher-order Arithmetic. slides
LLAMA. Amsterdam, 24 January 2024.
Talk: Models for Axiomatic Type Theory. slides
ESSLLI. Ljubljana, 1–11 August 2023.
CT 2023. Louvain-la-Neuve, 2–8 July 2023.
Logic PhD-Day. Groningen, 23 June 2023. organizer
TYPES 2023. Valentia, 12–15 June 2023.
Talk: Conservativity of Type Theory over Higher-order Arithmetic. slides
The Strength of Weak Type Theory. Amsterdam, 11–12 May 2023. organizer
Talk: Models for Axiomatic Type Theory. slides
EuroProofNet WG6 and HoTT/UF. Vienna, 22–25 April 2023.
CSL 2023. Warsaw, 13–16 Februari 2023.
DutchCATS. Amsterdam, 16 January 2023.
Talk: Conservativity of Type Theory over Higher-order Arithmetic. slides
The Proof Society Autumn School. Utrecht, 7–12 November 2022.
Workshop on Algebraic Weak Factorisation Systems. Amsterdam, 2 May 2022. organizer
DutchCATS. Amsterdam, 27 October 2021.
Talk: M-types and Bisimulation. slides
TYPES 2021. Online, 14–18 June 2021.
Talk: M-types and Bisimulation. slides

Research Projects

Spring 2024	Sheaves, Games, and Model Completions. A reading group delving into the book by Silvio Ghilardi and Marek Zawadowski.
Spring 2023	Shelah’s eventual Categoricity Conjecture. Organisors: Rodrigo Almeida, Lingyuan Ye. This reading group, framed as a quest to understand Espindola’s proof of Shelah’s eventual categoricty conjecture, is focused on the study of categorical model theory. Topics include: categorical logic, infinitary logic, and topos-theoretic completeness theorems.
Winter 2022	What makes Logics (Un)decidable? Supervisor: Balder ten Cate. A project to understand decidability results for modal logic, monadic second-order logic, the guarded fragment, and fixedpoint logic. Talk: Fixedpoint Logic, with Lide Grotenhuis. slides
Fall 2021	Set Theory Student Seminar. Organisor: Rodrigo Almeida. A seminar by and for master students on various set theoretic topics. Talk: Adding Classes to Set Theory: ZFC ⊆ NBG ⊆ MK. slides
Summer 2021	Formalising Effective Kan Fibrations. Supervisors: Benno van den Berg, Eric Faber. We formalised the results of a paper by Benno van den Berg and Eric Faber. This work is motivated by applications in homotopy theory and univalent type theory.
Winter 2021	Advanced Set Theory: Forcing and Independence Proofs. Supervisor: Yurii Khomskii. We studied a proof for the independence of the continuum hypothesis in set theory: by constructing models for both ZFC + CH and ZFC + ¬CH. Talk: Forcing ¬CH, with Lide Grotenhuis. slides

Education

Since 2022	PhD Candidate. ILLC, University of Amsterdam. Supervisors: Benno van den Berg, Herman Geuvers.
2020–2022	Master of Logic. University of Amsterdam. cum laude - Mathematics Track, - Computation Track.
2016–2020	Bachelor of Mathematics. Leiden University. cum laude
2016–2020	Bachelor of Computer Science. Leiden University. cum laude