Talks

Conference

Formalizing the Dershowitz-Manna Ordering Theorem in Lean 4. 29 July, 2025, ESSLLI, Bochum.
Formalizing Cyclic Tableaux for PDL in Lean. 26 June, 2025, Dutch Formal Methods Day, Amsterdam. A joint talk with Malvin Gattinger.
The Ongoing Work of Formalizing the Dershowitz-Manna Ordering Theorem in Lean4. 21 June, 2024, Dutch Logic PhD Day 2024, Amsterdam.
How to represent a Kripke model? BDDs versus Mental Programs. 14 June, 2024, SLSS, Reykjavík.
The Dutch Book Argument and Bounded Rationality. 2 July, 2022, LSE End of Year Students’ Philosophy Conference, London.
Tackling Logical Omniscience: A Probabilistic Extension of the Logic of Fast and Slow Thinking. 24 June, 2022, AAL, Online.

Comparing State-Representations for DEL Model Checking. 14 - 16 July, 2025, TARK, Düsseldorf.

Monads: From Functional Programming to Logic (Slides). 2 March, 2026, Amsterdam.

Digitize your own mathematics with Lean. 16 April, 2025, Leve de wiskunde!. Workshop for math teachers and students from grades 5 and 6. Amsterdam.
How can computers aid research in logic? 7 June, 2024, ILLC Open Day. Talk for colleagues from UvA, CWI, other academic institutions in the Netherlands and professional working in the industry. Amsterdam