Akademische Aktivitäten
- Akademische Selbstverwaltung:
- Vertreter des akademischen Dienstes im Bereichsrat des Bereichs II (Informatik, Wirtschaft und Gesellschaft) am KIT, Januar 2023 – September 2026
- Vertreter des Fachbereichs Informatik im Konvent der wissenschaftlichen Mitarbeiterinnen und Mitarbeiter am KIT, Januar 2023 – September 2026
- Vertreter des wissenschaftlichen Dienstes im Fakultätsrat der KIT-Fakultät für Informatik, Oktober 2019 – September 2024
- Aktivitäten in der Community:
- E-Vote-ID 2025, Track-Vorsitz und Programmkomitee-Mitglied
- SETTA 2024, externer Gutachter
- E-Vote-ID 2024, Track-Vorsitz und Programmkomitee-Mitglied
- Formal Methods in System Design 2023, externer Gutachter
- E-Vote-ID 2023, Track-Vorsitz und Programmkomitee-Mitglied
- E-Vote-ID 2022, Programmkomitee-Mitglied
- EIS 2022, externer Gutachter
- IJCAR 2022, externer Gutachter
- FUN 2022, externer Gutachter
- FM 2021, externer Gutachter
- E-Vote-ID 2021, externer Gutachter
- CADE-28, externer Gutachter
- iFM 2020, externer Gutachter
- E-Vote-ID 2020, externer Gutachter
- FTfJP 2020, externer Gutachter
- TAP 2019, externer Gutachter
- HacKeYthon 2018, Organisationskomitee-Mitglied
- KeY Symposium 2018, Programmkomitee-Mitglied
- VSTTE 2018, externer Gutachter
- ITP 2017, externer Gutachter
- LPAR 2017, externer Gutachter
- Forschungsaufenthalte:
- PLS-Gruppe von Prof. Carsten Schürmann an der IT University of Copenhagen (Kopenhagen, Dänemark) im Mai 2016 als Teil eines wissenschaftlichen Kurzaufenthalts (STSM – short-term scientific mission) innerhalb der COST-Aktion IC1205
- Logic and Computation Gruppe von Prof. Rajeev Goré an der Australian National University (Canberra, ACT, Australien) im Januar/Februar 2014 als Teil des Go8 Deutsch-Australischem Programms zur Zusammenarbeit in der Forschung finanziert innerhalb des DAAD PPP
- Saisonale Akademien:
- Die dritte Winterakademie in Computerwissenschaft und -Ingenieurwesen 2018 über Blockchains und Kryptowährungen
- Marktoberdorf Sommerakademie 2018 über Engineering sicherer und verlässlicher Softwaresysteme
- COMSOC COST IC1205 Sommerakademie 2016 über Computational Social Choice
- VTSA Sommerakademie 2015 über Verifikationstechnologie, Systeme & Anwendungen
- Vorträge und Wettbewerbsbeiträge bei Workshops, Konferenzen oder anderen Veranstaltungen:
- digilog@bw – Digitalisierung im Dialog, Redner zu Allgemein, unmittelbar, frei, gleich und geheim: Was sind sichere Wahlen?
- Tag der Abschlussarbeit 2024:
KI & Gutes wissenschaftliches Prompting, Podiumsredner bei
Die Abschlussarbeit vor dem Aus? Sinnvolles Prüfen unter KI-Bedingungen
- KeY Symposium 2023
- EIS 2022
- Tage der Demokratie 2022, Bürger:innendialog zu Online-Wahlen: Fluch oder Segen für die Zukunft der Demokratie?
- EWAF 2022
- GI-Sicherheit 2022, Podiumsredner bei
Warum geben sich Wahlausrichter:innen mit Blackbox-Online-Wahlsystemen zufrieden?
- FoMSESS GI-Fachgruppentreffen 2021
- FoMSESS GI-Fachgruppentreffen 2019
- ADT 2019
- LOPSTR 2019
- KeY Symposium 2019
- PERR 2019
- KeY Symposium 2018
- APIA 2018
- E-Voting PhD Colloquium 2018
- KeY Symposium 2017
- LAMAS 2017
- HotSpot 2017
- VerifyThis 2017
- JML Workshop 2016
- E-Vote-ID 2016
- KeY Symposium 2016
- COMSOC 2016
- VerifyThis 2016
- KeY Symposium 2015
- Deduktionstreffen 2015
- VerifyThis 2015
- KeY Symposium 2014
- VERIFY 2014
- KeY Symposium 2013