I'm a doctoral student in the Programming Methodology Group of ETH Zurich under the supervision of Prof. Dr. Peter Müller. My research focuses on program verification and in particular on program equivalence proofs. More broadly, I'm interested in developing correct and well-designed software. Previously, I have studied computer science at ETH Zurich and obtained my Master's degree in October 2026.
News
- February 2026: I received the ETH Medal for my Master's thesis!
- November 2025: I have started my PhD at ETH Zurich.