This section outlines my contributions to the Computer Science community through various service activities. It includes student supervision, teaching responsibilities and peer-review work for conferences and journals.
Since 2021, I have been supervising over a dozen semester, Bachelor's, and Master's theses at ETH's Computer Science department (Computer Science and Cyber Security programs). Several of these works have contributed to publications in peer-reviewed venues.
If you are interested in conducting a project related to Privacy by Design, GDPR, applied logic, formal verification, programming languages... or any combination of these, feel free to get in touch. See also the overview of student projects on our group webpage.
We offer exciting research-grade topics, a welcoming atmosphere, and active supervision throughout the semester including weekly 1-2 hour meetings. We are open about new ideas and happy to share ours, so reaching out is always worth it.
Since 2019, I have been a Teaching Assistant in various Computer Science courses at ETH Zürich.
From 2023 to 2025, I have been one of two head Teaching Assistants for our Formal Methods and Functional Programming (FMFP) course, in which we teach over 400 students the basics of logic, functional programming, and program verification. I have been in charge of the course and exam logistics, and occasionally giving lectures.
I have been an external reviewer or subreviewer for various Computer Science conferences and journals including: