Michael Gerke

Michael Gerke is a Researcher affiliated with both Saarland University and Schloss Dagstuhl – Leibniz-Zentrum für Informatik. He holds a Ph.D. in Computer Science from Saarland University (2020) and has been a member of the Scientific Staff at Schloss Dagstuhl since 2017. His primary role involves advising on scientific and organizational matters, particularly in supporting Dagstuhl Seminars and research initiatives.

Education:

• Ph.D. in Computer Science, Saarland University, 2020
• Master's in Computer Science, Saarland University, 2010
• Bachelor's in Computer Science with Computational Linguistics, Saarland University, 2007

Research Interests: Gerke focuses on formal verification techniques, timed automata, and their applications in automotive communication protocols like FlexRay. His work addresses protocol verification, particularly in physical layer protocols and real-time systems.

Awards:

• NRW Young Scientist Award (2011) in Dynamic Intelligent Systems

Teaching & Contributions: Gerke has served as a teaching assistant for courses in Embedded Systems and Verification at Saarland University since 2008. He has also organized seminars such as Time Machine and Real-time Systems & Synthesis.

Labs/Teams: He is part of the Reactive Systems Group at Saarland University and contributes to Schloss Dagstuhl's Scientific Staff, supporting research infrastructure and events.