Teaching
Courses, materials & student supervision
Fall 2026
Électorats et élus européens
Quantitative analysis of European electorates and elected representatives.
2022–2025
Formal Methods and Functional Programming
Logic, functional programming, and program verification for up to 400 BSc students. Course and exam logistics; occasional guest lectures.
2023–2024
Informatik I
2019–2022
Algorithms and Data Structures
Student supervision
I regularly supervise semester projects, Bachelor's, and Master's theses at ETH Zürich's Department of Computer Science (Computer Science and Cyber Security programmes).
We offer active, weekly supervision on research-grade topics in a welcoming atmosphere. If you are interested in a project related to Privacy by Design, GDPR, applied logic, formal verification, LLM security, electoral data, or any combination of these, feel free to reach out.
Open projects & past theses →