Research Interests
Verification and synthesis with a focus on theoretical aspects, in particular automata theory, concurrency theory, games, and semantics. Interest in programming languages, embedded systems, and replication. Click here for more information.
Selected Contributions
- Depth boundedness in reconfigurable systems (pdf).
- Computability of downward closures for Petri net languages (pdf).
- Robustness against relaxed memory models (algorithmic principle and locality of TSO).
- Pointer race freedom (pdf).
- Regular separability of well-structured transition systems (pdf).
- Polynomial translation from (collapsible) pushdown parity games to (collapsible) pushdown safety games (pdf).
- Effective denotational semantics for games (first-order and higher-order).
Publications
- DBLP.
- Our lecture notes cover various topics in automata theory, games, logic, verification, semantics, and complexity. We would be happy to hear your feedback.
Postdocs and PhD Students
- Former Postdocs: Emanuele D'Osualdo (DPhil Oxford), Prakash Saivasan (PhD CMI), Georg Zetzsche (Dr. rer. nat. Kaiserslautern).
- Current PhD Students: Jan Grünke, Thomas Haas, Eren Keskin, René Maseli, Anton Opaterny, Sören van der Wall.
- Former PhD Students: Dr.-Ing. Georgel Calin, Dr.-Ing. Egor Derevenetc, Dr. rer. nat. Georg Zetzsche, Dr.-Ing. Florian Furbach, Dr. rer. nat. Sebastian Wolff, Dr. rer. nat. Peter Chini, Dr. rer. nat. Sebastian Muskalla.
- Mike Becker, Reiner Hüchting, Elisabeth Neumann, Sebastian Schweizer.
Organisation/Chair
Program Committees
- 2024: VMCAI.
- 2023: CIAA, ESOP, VECOS.
- 2022: ATVA, GandALF, VMCAI.
- 2021: CONCUR, FORTE, GandALF, NETYS, PN, POPL.
- 2020: ESOP, FSTTCS, IJCAI, PN, VECoS.
- 2019: ACSD, APLAS, FORTE, GI, MFCS, NETYS, PN, TACAS, TMPA, VECoS.
- 2018: ACSD, CONCUR, VECoS.
- 2017: ACSD, ATVA, CONCUR, FoSSaCS, MFCS, TMPA.
- 2016: ACSD, MEMICS, NETYS, TACAS.
- 2015: ACSD, CONCUR, FSTTCS, SKILL.
- 2014: ACSD, TACAS.
- 2013: ACSD.
- 2012: ACSD, Infinity, YR-CONCUR.
- 2011: ACSD, YR-CONCUR.
- 2010: ACSD.
Invited Talks/Lectures
- D-CON 2017 Paderborn.
- MEMICS 2016 Doctoral Workshop on Mathematical and Engineering Methods in Computer Science.
- UPMARC 2016 8th Summer School on Multicore Computing.
- CCDP 2015 The Chemistry of Concurrent and Distributed Programming.
- MM 2015 UPMARC Workshop on Memory Models.
- Infinity 2014 16th International Workshop on Verification of Infinite-State Systems.
Awards
- Best paper award at CONCUR 2023.
- Distinguished paper award at OOPSLA 2022.
- Best student paper award (with Peter Chini and Prakash Saivasan) at NETYS 2019.
- Beste Lehre im Bachelorstudium SoSe 2015.
- Nomination as Professor of the Year 2015 in UNICUM BERUF.
- Best paper award at ACSD 2014.
- Preis des Dekans 2013.
- Beste Lehre im Bachelorstudium SoSe 2013.
- Best paper award at ACSD 2012.
- Best paper award at ETAPS 2012, awarded from EAPLS.
- Nomination for the best dissertation award of the GI.
- Gerhard-Wachsmann-Preis 2009.
- PhD scholarship of the German Science Foundation.
Awards Received by Students
- ETAPS best dissertation award 2022 for Sebastian Wolff.
- Juniorfellowship of the Simons Foundation for Sebastian Wolff.
- Best student paper award at NETYS 2019 for Peter Chini.
- EAPLS best dissertation award 2016 for Georg Zetzsche.
- Preis des Fakultätentags 2014 für die beste Masterarbeit für Susanne Göbel.
Research Visits
- New York University (07/2019).
- Aalto University (02-03 and 07-10/2016).
- University of Oxford (02-03/2015).
- Uppsala University (11/2011, 09-10/2012).
- Newcastle University (11-12/2007, 04/2008).
Memberships
Boards
- Member of TUBS.digital.
- Member of the PhD committee (TU Braunschweig).
- Former member of the Fachbereichsrat (TU Kaiserslautern).
- Former head of the PhD committee (TU Kaiserslautern).
- Former member of the MSc committee (TU Kaiserslautern).
Curriculum Vitae
Since 2016, I am professor at TU Braunschweig and head of the Institute of Theoretical Computer Science (W3). From 2021 to 2023, I served as the head of department. From 2014 to 2016, I held the chair of Concurrency Theory at TU Kaiserslautern (W2). I was an assistant professor in Kaiserslautern from 2010 to 2014 (W1). Previously, I did a postdoc in LIAFA (now IRIF). I obtained my PhD from the University of Oldenburg in 2009. From 2001 to 2005, I studied Computer Science and Mathematics in Oldenburg. I received my Abitur from Gymnasium Westerstede in 2000. I am married to Katrin Lambertus-Meyer. We have two children.
Langeoog, LIAFA, Pfalz, Essen.
My ha-index is 81.