Fabian Lukas Grubmüller

From September 2026 I am a PhD student with Jules Jacobs at the Institute for Programming Languages and Systems at ETH Zürich, working broadly on programming languages, type theory and formal verification.

I finished my MSc in mathematics in February 2026 at Stockholm University, jointly with KTH Royal Institute of Technology. My thesis, The Category of Iterative Sets in Cubical Agda, was supervised by Anders Mörtberg and awarded the Mittag-Leffler Prize.

My bachelor’s degrees, in mathematics and in computer science, are from LMU Munich, where I also taught exercise classes for three semesters on logic, formal languages and complexity. From 2023 to 2026 I organised the Stockholm Master in Mathematics Seminar, a student-led seminar for mathematics master’s students.

I also enjoy recreational programming. I particularly like working with Haskell and Rust, as they allow me to write safe and efficient programs with ease.