I defended my Ph.D in October 2017, a joint degree from the ILLC, University of Amsterdam and LORIA, Université de Lorraine under the supervision of Hans van Ditmarsch, Nick Bezhanishvili, and Sonja Smets.
My Ph.D dissertation, Evidence in Epistemic Logic: A Topological Perspective, studies formal representations of the notion of evidence and its link to justication, justied belief, knowledge, and evidence-based information dynamics, by using tools from topology and (dynamic) epistemic logic.
I received my MSc degree in Logic at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam under the supervision of Nick Bezhanishvili and Sonja Smets. My MSc thesis was about topological semantics for belief logics and belief revision.
My CV is here.
Broadly speaking, my work lies at the intersection of formal epistemology, logic, and a bit of formal learning theory.
Narrowly speaking, I am very much 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. More recently, I have also been working on the problem of logical omniscience and epistemology of indicative 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)
Past and current collaborators: