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 ofcomputer science with computational linguistics as a minor at Saarland University
Publications
see:
