KIT - Application-oriented Formal Verification - Team - Michael Kirsten - Academic Activities

Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification

Michael Kirsten

Academic Activities

Academic Self-Governance:
- Representative of the academic staff in the Division Council of the Division II (Informatics, Economics, and Society) at KIT, since January 2023
- Representative of the academic staff in the Convention of the Scientific Staff at KIT, since January 2023
- Representative of the academic staff in the Faculty Council of the KIT Department of Informatics, since October 2019
Community Activities:
- 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
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 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
Summer/Winter Schools:
Workshops/Conferences: