Institute of

Theoretical Computer Science

Carl-Friedrich-Gauß-Fakultät

Technische Universität Braunschweig

Prof. Dr. rer. nat. Roland MeyerRoland 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

Publications

Postdocs and PhD Students

Organisation/Chair

Program Committees

Invited Talks/Lectures

Awards

Research Visits

Memberships

Boards

Curriculum Vitae

Since 2016, I am Professor at TU Braunschweig and Head of the Institute of Theoretical Computer Science (W3). 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 one child.

Langeoog, LIAFA, Pfalz, Essen.

My ha-index is 81.