Michael Gerke

Dr. Michael Gerke is a Researcher and member of the Scientific Staff at Schloss Dagstuhl – Leibniz Center for Informatics since 2017. He holds a Ph.D. in Computer Science from Saarland University (2020), where he focused on modeling and verifying the FlexRay physical layer protocol using timed automata. His work emphasizes formal verification, embedded systems, and automotive communication protocols. Gerke has also served as a Graduate Research Assistant and teaching assistant in the Reactive Systems Group at Saarland University, contributing to research on real-time systems and verification methods.

Research Interests: Formal methods, timed automata, automotive communication protocols (e.g., FlexRay), model checking, and safety-critical systems. His work bridges theoretical foundations with practical applications in embedded and real-time systems.

Awards: 2011 NRW Young Scientist Award in Dynamic Intelligent Systems. His research has been published in venues like FMICS, ICFEM, and RTSS, focusing on verification techniques for complex systems.

Roles: Supports Dagstuhl’s scientific and organizational activities, including seminar management, research prospect development, and quality control. Previously involved in local governance and academic teaching (e.g., Embedded Systems and Verification courses).