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

• 28 July - 8 August, 2025, ESSLLI, Ruhr University Bochum, Germany: I will attend the summer school and give a talk on my accepted paper on Formalizing the Dershowitz-Manna Ordering Theorem in Lean 4.
• 14 - 16 July, 2025, TARK, Düsseldorf, Germany: I will present a poster about our accepted paper: Comparing State-Representations for DEL Model Checking. (A joint work with Gregor Behnke, Malvin Gattinger, Avijeet Ghosh.)
• 26 June, 2025, Dutch Formal Methods Day, Amsterdam, Netherlands: I will be giving a joint talk together with Malvin Gattinger on Formalizing Cyclic Tableaux for PDL in Lean.