Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Prof. Dr. rer. nat. Roland MeyerRoland Meyer

Head of the Institute of Theoretical Computer Science

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

Research Interests

Automata, concurrency theory, games, and semantics with applications to verification and synthesis. 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), summaries for context-free games (pdf), regular separability of well-structured transition systems, polynomial translation from (collapsible) pushdown parity games to (collapsible) pushdown safety games.


Postdocs and PhD Students


Program Committees

Invited Talks/Lectures


Research Visits



Curriculum Vitae

Since October 2016, I am Professor at TU Braunschweig and Head of the Institute of Theoretical Computer Science (W3). From November 2014 to September 2016, I held the Chair of Concurrency Theory at TU Kaiserslautern (W2). I was an Assistant Professor in Kaiserslautern from July 2010 to October 2014 (W1). Previously, I did a postdoc in LIAFA, University Paris 7, from March 2009 to June 2010. In February 2009, I obtained my PhD from the University of Oldenburg. From October 2001 to September 2005, I studied Computer Science and Mathematics in Oldenburg. Before, I did military service, received my Abitur from Gymnasium Westerstede, and was born in February 1981.

I am married to Katrin Lambertus-Meyer.

Langeoog, LIAFA, Pfalz, Essen.

My ha-index is 81.