Supervision

PhD

Current

• Zhou Woxuan (Amsterdam 2023-) on epistemic modals

• Pablo Rivas Robledo (Amsterdam 2023-) on sentential quantification

• Sabina Domínguez Parrado (Amsterdam and St Andrews 2023-) on logical pluralism

• Sophie Nagler (Amsterdam and St Andrews 2022-) on proof-theoretic semantics

• Robin Martinot (Utrecht 2020-) on formalization

Completed

• Ned Wontner (Amsterdam 2023) on generalization in mathematics

• Lwenn Bussière (Amsterdam 2022, EXPRESS project) on rejection and negation

• Anna Bellomo (Amsterdam 2022) on Bolzano’s theory of collections

• Mariangela Cocchiaro (Hong Kong 2020) on peer disagreement

• Julian Schlöder (Amsterdam 2018) on assertion and rejection

Master's

• Timo Diedering (MSc Logic Amsterdam 2023) on neutral relations in mathematical structuralism

• Katia Parshina (MSc Logic Amsterdam 2023) on the use of AI in mathematical proofs

• Sabina Domínguez Parrado (MSc Logic Amsterdam 2023) on set-theoretic multiversism

• Lide Grotenhuis (MSc Logic Amsterdam 2022) on the linearity conjecture for axiomatic theories

• Bas Kortenbach (MSc Logic Amsterdam 2021) on multilateral logic and metainferential validity

• Laura Vetter (MSc Logic Amsterdam 2021) on conceptual engineering and conceptual genealogy

• Simon Vonlanthen (MSc Logic Amsterdam 2021) on inferentialism and natural language

• Joannes Campell (MSc Logic Amsterdam 2020) on the transitivity of inferential justification

• Robin Martinot (MSc Logic Amsterdam 2019) on foundations and mathematical thinking 

• David Santamaria (MSc Logic Amsterdam 2019) on theories of classes

•  Yvette Oortwijn (MSc Logic Amsterdam 2019) on dynamic set theory

• Nuno Filipe (MSc Logic Amsterdam 2019) on non-standard models of arithmetic

• Jorge Ferreira (MSc Logic Amsterdam 2018) on counterpossibles

• Stella Moon (MSc Logic Amsterdam 2017) on Isaacson’s Thesis and Wilkie’s Theorem

• Albert Janzen (MSc Logic Amsterdam 2017) on theories of truth

• Guido van der Knaap (MSc Logic Amsterdam 2017) on proof-theoretic harmony

• Anna Bellomo (MSc Logic Amsterdam 2016) on Cantor's notion of size

• Iliana Gioulatou (MSc Logic Amsterdam 2016) on hyperintensional semantics

• Eileen Wagner (MSc Logic Amsterdam 2015) on superplurals

• Joost Vecht (MSc Logic Amsterdam 2015) on category theory as a foundation of mathematics

• Richard Teague (MPhil Philosophy Cambridge 2012) on modal metaphysics

• Clare Moriarty (MPhil Philosophy Cambridge 2012) on the justification of the axioms of set theory