A Timeline
2023 - Present: PhD Student at ETH Zurich
Working on verification in the Programming Methodology Group under the supervision of Prof. Peter Müller.
2021 - 2022: Consultant at AWK Group
Worked on topics such as cloud, software development and digital workplace.
2014 - 2021: Student at ETH Zurich
- MSc in Mathematics. Check out my Master’s thesis!
- BSc in Mathematics
Talks
A year in AI
A series of (non-research) talks about what’s going on with AI:
- Winterkongress 2025
- VISCon 2024 (recording sadly missing)
- VISCon 2023
Other qualifications
During my stint in the real world, I acquired certifications to document my incredible skill set. Among other things, I am