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

Roland Meyer

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

Organisation/Chair

Program Committees

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.