Home
Assistant Professor (tenured)
Institute for Logic, Language and Computation
Department of Philosophy
University of Amsterdam
My CV is here and more information about me is below!
University of Amsterdam
My CV is here and more information about me is below!
Photo by Geert Broertjes
Broadly speaking, my work lies at the intersection of formal epistemology and philosophical logic. I am interested in (dynamic) epistemic logic - in particular, logics for knowledge (update), belief (revision), evidence (management), imagination, as well as formal learning theory. I am a big fan of using topological semantics for epistemic logics (see my dissertation Evidence in Epistemic Logic: A Topological Perspective). I have also been working on the problem of logical omniscience and the epistemology & logics of conditionals.
My Erdös number is 3, via the path
Hans van Ditmarsch, Sophia Knight, Aybüke Özgün. Announcement as Effort on Topological Spaces-Extended version. Synthese (2017). pp. 2927–2969.
R.E.L. Aldred, M.D. Atkinson, Hans van Ditmarsch, C.C. Handley, D.A. Holton, D.M.C. McCaughan: Permuting machines and priority queues. Theoretical Computer Science, 2005. (DOI, PDF)
P. Erdös, R.L. Hemminger, D.A. Holton and B.D. McKay: On the chessmaster problem. Progress in Graph Theory, 1984. (PDF)