Dr.-Ing. Michael Gerke

Scientific Staff

Fields of Duties

The Scientific Staff advises and supports the Directors concerning scientific and organizational questions. The principal tasks are the support of Dagstuhl Seminars, research prospects, public relations, bodies and boards, project works, benefit plans and quality control.

Background

• 2020: Ph.D. in computer science at Saarland University. Topic: Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata.
• since 2017: Member of the Scientific Staff,
  Schloss Dagstuhl – Leibniz Center for Informatics
• 2010-2016: Graduate Research Assistant,
  Reactive Systems Group, Saarland University
• 2011: NRW Young Scientist Award, category Dynamic Intelligent Systems
• 2009-2014: Member of the (de) Regionalversammlung Saarbrücken (district council of Regionalverband Saarbrücken)
• 2010: Master's degree in computer science from Saarland University
• 2009-2010: Research Assistant,
  Reactive Systems Group, Saarland University
• 2008-2009: Scholarship Student, Saarbrücken Graduate School of Computer Science
  and Student Research Assistant, Reactive Systems Group, Saarland University
• 2002-2010: university studies of computer science with computational linguistics as a minor at Saarland University

Publications

see:

• Michael Gerke at dblp
• Michael Gerke at Reactive Systems Group