Akademische Aktivitäten

• Akademische Selbstverwaltung:
  • Vertreter des akademischen Dienstes im Bereichsrat des Bereichs II (Informatik, Wirtschaft und Gesellschaft) am KIT, seit Januar 2023
  • Vertreter des Fachbereichs Informatik im Konvent der wissenschaftlichen Mitarbeiterinnen und Mitarbeiter am KIT, seit Januar 2023
  • Vertreter des wissenschaftlichen Dienstes im Fakultätsrat der KIT-Fakultät für Informatik, seit Oktober 2019
• Aktivitäten in der Community:
  • E-Vote-ID 2023, Track chair
  • E-Vote-ID 2022, Program committee member
  • EIS 2022, Reviewer
  • IJCAR 2022, Reviewer
  • GI-Sicherheit 2022, Panelist on Warum geben sich Wahlausrichter:innen mit Blackbox-Online-Wahlsystemen zufrieden?
  • FUN 2022, Reviewer
  • FM 2021, Reviewer
  • E-Vote-ID 2021, Reviewer
  • CADE-28, Reviewer
  • iFM 2020, Reviewer
  • E-Vote-ID 2020, Reviewer
  • FTfJP 2020, Reviewer
  • TAP 2019, Reviewer
  • HacKeYthon 2018, Organization committee member
  • KeY Symposium 2018, Program committee member
  • VSTTE 2018, Reviewer
  • ITP 2017, Reviewer
  • LPAR 2017, Reviewer
• Forschungsaufenthalte:
  • 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 the 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
• Sommer-/Winterschulen:
  • 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
• Workshops/Konferenzen:
  • EIS 2022
  • EWAF 2022
  • GI-Sicherheit 2022
  • 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