Academic Activities
- Academic Self-Governance:
- Representative of the academic staff in the Division Council of the Division II (Informatics, Economics, and Society) at KIT, January 2023 – September 2026
- Representative of the academic staff in the Convention of the Scientific Staff at KIT, January 2023 – September 2026
- Representative of the academic staff in the Faculty Council of the KIT Department of Informatics, October 2019 – September 2024
- Community Activities:
- SETTA 2024, external reviewer
- E-Vote-ID 2024, track chair and program committee member
- Formal Methods in System Design 2023, external reviewer
- E-Vote-ID 2023, track chair and program committee member
- E-Vote-ID 2022, program committee member
- EIS 2022, external reviewer
- IJCAR 2022, external reviewer
- FUN 2022, external reviewer
- FM 2021, external reviewer
- E-Vote-ID 2021, external reviewer
- CADE-28, external reviewer
- iFM 2020, external reviewer
- E-Vote-ID 2020, external reviewer
- FTfJP 2020, external reviewer
- TAP 2019, external reviewer
- HacKeYthon 2018, organization committee member
- KeY Symposium 2018, program committee member
- VSTTE 2018, external reviewer
- ITP 2017, external reviewer
- LPAR 2017, external reviewer
- Research Visits:
- PLS group of Prof. Carsten Schürmann at IT University of Copenhagen (Copenhagen, Denmark) in May 2016 as part of a short-term scientific mission (STSM) within COST Action IC1205
- Logic and Computation group of Prof. Rajeev Goré at Australian National University (Canberra, ACT, Australia) in January/February 2014 as part of the Go8 Australia-Germany Joint Research Cooperation Scheme funded within the DAAD PPP
- Seasonal Schools:
- The 3rd Winter School in Computer Science and Engineering 2018 on Blockchains and Cryptocurrencies
- Marktoberdorf Summer School 2018 on Engineering Secure and Dependable Software Systems
- COMSOC COST IC1205 Summer School 2016 on Computational Social Choice
- VTSA Summer School 2015 on Verification Technology, Systems & Applications
- Talks or contest contributions at workshops, Conferences or other events:
- digilog@bw – Digitalization in Dialogue, speaker on General, direct, free, equal, and secret: What are secure elections?
- Thesis Day 2024:
AI & Good Scientific Prompting, panelist on
The thesis before the end? Meaningful examination under AI conditions
- KeY Symposium 2023
- EIS 2022
- Days of Democracy 2022, civil dialogue on Online Elections: Blessing or Curse for Democracy?
- EWAF 2022
- GI-Sicherheit 2022, panelist on
Warum geben sich Wahlausrichter:innen mit Blackbox-Online-Wahlsystemen zufrieden?
- FoMSESS GI-Working-Group Meeting 2021
- FoMSESS GI-Working-Group Meeting 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