Institute of Theoretical Computer Science

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)
Fax:	+49 (0)531 391 9529
Office:	IZ 346, i.e. Informatikzentrum, 3rd floor, office 346,
	Mühlenpfordtstr. 23, D-38106 Braunschweig
Mail:	Institut für Theoretische Informatik
	Mühlenpfordtstr. 23
	D-38106 Braunschweig
	Germany

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

Current Postdocs:

Jens Gutsfeld

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, Jakob Tepe, 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.

Organisation/Chair

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

2025: POPL.
2024: CIAA, CONCUR, 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.

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.
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 (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

Member of IFIP WG 2.2.
Sprecher der GI-Fachgruppe Concurrency Theory.

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.

Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig