About

I am a PhD candidate at the Institute for Logic, Language and Computation, University of Amsterdam. My supervisors are Malvin Gattinger and Gregor Behnke.

Interests

• Category Theory
• Type Theory
• Theorem Proving
• Functional Programming
• Model Checking

News & Olds

• 16 October - 16 November, 2026, I will be visiting the logic group at Peking University.
• 10 - 14 August, 2026, Semantics and compositionality for expressiveness and complexity, ESSLLI 2026 Workshop, Prague: I gave a talk on A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic.
• 18 July, 2026, Structure Meets Power, LiCS 2026 affiliated workshop, Lisbon (online): I gave a talk on A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic.