Service
Reviewing, talks & community engagement
Reviewing & editorial service
External reviewer and subreviewer for Computer Science conferences and journals:
- Certified Programs and Proofs (CPP) 2025
- International Conference on Runtime Verification (RV) 2025
- Knowledge and Information Systems (KAIS) 2026
- Transactions on Dependable and Secure Computing (TDSC) 2025
Invited talks
- University of St. Gallen 2026
- University of Copenhagen, Department of Computer Science 2025
- Max Planck Institute for Behavioral Economics, Bonn 2025
- Yale University 2025
Responses to public consultations
Contributions to public consultation procedures on digital governance and technology policy.
Teaching & supervision
Since 2021 I have supervised over a dozen semester, Bachelor's, and Master's theses at ETH's Computer Science department. Several contributed to peer-reviewed publications.
Student projects → Teaching →