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
- 10 - 14 August, 2026, Semantics and compositionality for expressiveness and complexity, ESSLLI 2026 Workshop, Prague: I will be giving 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 will be giving a talk on A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic.