Prof. Dr. rer. nat. Roland Meyer

Head of the Institute of Theoretical Computer Science

Email: roland.meyer@tu-bs.de

Phone: +49 (0)531 391 9524 (9522)

Office: Informatikzentrum, 3rd floor, office 346, 
Mühlenpfordtstr. 23, D-38106 Braunschweig

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 (proof principle and full solution).
• Polynomial translation from (collapsible) pushdown parity games to (collapsible) pushdown safety games (pdf).
• Effective denotational semantics for games (first-order and higher-order).
• Regular separability of VASS reachability languages (pdf, slides).
• Decidability of PVASS reachability (pdf).

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

• Current Postdocs:
• Former Postdocs: Emanuele D'Osualdo (DPhil Oxford),  Jens Gutsfeld (Dr. rer. nat. Münster), Prakash Saivasan (PhD CMI), Georg Zetzsche (Dr. rer. nat. Kaiserslautern).
• Current PhD Students: Natalia Gacek, Jan Grünke, Thomas Haas, Eren Keskin, Stepan Kuznetsov, René Maseli, Anton Opaterny, Jakob Tepe, Sören van der Wall.
• Former PhD Students: Mike Becker, Dr.-Ing. Georgel Calin, Dr. rer. nat. Peter Chini, Dr.-Ing. Egor Derevenetc, Dr.-Ing. Florian Furbach, Reiner Hüchting, Dr. rer. nat. Sebastian Muskalla, Elisabeth Neumann, Sebastian Schweizer, Dr. rer. nat. Sebastian Wolff, Dr. rer. nat. Georg Zetzsche.

Organisation/Chair

• NETYS 2026 14th International Conference on Networked Systems.
• D-CON 2023 Lübeck.
• NETYS 2021 09th International Conference on Networked Systems.
• GI-Jahrestagung 2019 Track: Sicherheit, Zuverlässigkeit, Korrektheit.
• CONCUR 2017 28th International Conference on Concurrency Theory.
• ACSD 2015 15th International Conference on Application of Concurrency to System Design.
• D-CON 2012 Kaiserslautern.
• Dagstuhl Graduate Schools Workshop 2008.

Program Committees

• 2027: Student Research Competition @ POPL
• 2026: CONCUR, NETYS, PLDI, VECOS.
• 2025: Coordination, POPL, VECOS, VMCAI.
• 2024: CIAA, CONCUR, VECOS, VMCAI, VSTTE.
• 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.

Awards

• Distinguished paper award at LICS 2026.
• Distinguished collaboration award, Huawei, 2025.
• Distinguished paper award at LICS 2024.
• 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 für besonderes Engagement im Fachbereich 2013.
• Beste Lehre im Bachelorstudium SoSe 2013.
• Best paper award at ACSD 2012.
• Best paper award at ETAPS 2012, awarded by 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

• Preis des Fakultätentags 2025 für die beste Masterarbeit für Eren Keskin.
• 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.
• EATCS 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 (frequent).
• 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

• Observer of IFIP WG 2.3.
• Member of IFIP WG 2.2.
• Member of GI-Fachgruppe Concurrency Theory (spokesperson 2017 - 2024).

Boards

• Member of NFF.
• 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 have been a 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). I did a postdoc in LIAFA (now IRIF) and 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, Aachen.

My ha-index is 81.