Concurrency Theory Concurrency Theory Group

Department of Computer Science
University of Kaiserslautern

Prof. Dr. rer. nat. Roland Meyer

Professor of Theoretical Computer Science

Chair of Concurrency Theory

Email: meyer at cs.uni-kl.de
Phone: +49 (0)631 205 26 34
Fax: +49 (0)631 205 34 20
Mail: TU Kaiserslautern, Department of Computer Science, Concurrency Theory Group, po box 3049, D-67653 Kaiserslautern, Germany.
Office: Building 34, 4th floor, office 418, Gottlieb-Daimler Straße, D-67663 Kaiserslautern, map.
Office hours: Tuesdays, 13.30 to 14.30.

Research Interests

Expressiveness, computer-aided verification, and formal languages of concurrent systems. Focus on infinite-state models, in particular reconfigurable networks and relaxed memory models. Click here for more information.

A list of publications can be found here.

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

Professional Activities

  • ACSD 2017 17th International Conference on Application of Concurrency to System Design (PC).
  • CONCUR 2017 28th International Conference on Concurrency Theory (co-chair).
  • D-CON 2017 Paderborn (invited talk).
  • FoSSaCS 2017 20th International Conference on Foundations of Software Science and Computation Structures (PC).
  • ACSD 2016 16th International Conference on Application of Concurrency to System Design (PC).
  • CDPS Communicating, Distributed, and Parameterised Systems (invited).
  • Dagstuhl Well Quasi-Orders in Computer Science (invited).
  • IFIP WG 2.2 Formal Description of Programming Concepts (Observer).
  • MEMICS 2016 Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (invited, PC).
  • NETYS 2016 International Conference on Networked Systems (PC).
  • TACAS 2016 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (PC).
  • UPMARC 2016 8th Summer School on Multicore Computing (lecturer).
  • ACSD 2015 15th International Conference on Application of Concurrency to System Design (co-chair).
  • CCDP 2015 The Chemistry of Concurrent and Distributed Programming (invited talk).
  • CONCUR 2015 26th International Conference on Concurrency Theory (PC).
  • Dagstuhl Verification of Evolving Graph Structures (invited).
  • FSTTCS 2015 35th IARCS Annual Conference on the Foundations of Software Technology and Theoretical Computer Science (PC).
  • MM 2015 UPMARC Workshop on Memory Models (invited talk).
  • SKILL 2015 Studierendenkonferenz Informatik (PC).
  • ACSD 2014 14th International Conference on Application of Concurrency to System Design (PC).
  • Dagstuhl Reachability Problems for Infinite-State Systems (invited).
  • Infinity 2014 16th International Workshop on Verification of Infinite-State Systems (invited talk).
  • TACAS 2014 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (PC).
  • WS25CCC 25 Years of Combining Compositionality and Concurrency (invited)
  • ACSD 2013 13th International Conference on Application of Concurrency to System Design (PC).
  • CP meets CAV Constraint Programming meets Computer Aided Verification (invited).
  • Dagstuhl Correct and Efficient Accelerator Programming (invited).
  • ACSD 2012 12th International Conference on Application of Concurrency to System Design (PC).
  • D-CON 2012 takes place in Kaiserslautern, 08th and 09. of March 2012 (chair).
  • Infinity 2012 14th International Workshop on Verification of Infinite-State Systems (PC).
  • YR-CONCUR 2012 Young Researchers Workshop on Concurrency Theory (PC).
  • ACSD 2011 11th International Conference on Application of Concurrency to System Design (PC).
  • YR-CONCUR 2011 Young Researchers Workshop on Concurrency Theory (PC).
  • ACSD 2010 10th International Conference on Application of Concurrency to System Design (PC).
  • Dagstuhl Graduate Schools Workshop 2008 (co-chair).

Awards

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

Research Visits

  • 02-03 and 07-10/2016: Aalto University.
  • 02-03/2015: University of Oxford.
  • 11/2011, 09-10/2012: University of Uppsala.
  • 11-12/2007, 04/2008: University of Newcastle.

University Boards

Member of the Fachbereichsrat.
Head of the PhD committee. How to apply to our graduate program.

Curriculum Vitae

Roland Meyer Since July 2010, I am Professor of Theoretical Computer Science (tenure track, tenured) at the University of Kaiserslautern where I hold the Chair of Concurrency Theory. Previously, I was a CNRS postdoc in LIAFA, University Paris 7, from March 2009 to June 2010. From August 2004 to March 2009, I worked in the Transregional Research Center AVACS at the University of Oldenburg. In February 2009, I obtained my PhD from the University of Oldenburg, where I was a PhD student in the graduate school TrustSoft from October 2005 to September 2008. 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.

News

BCS/CHPC Distinguished Dissertation Award.
The thesis “Verification of Message Passing Concurrent Systems” (by Emanuele D'Osualdo) received the BCS/CHPC Distinguished Dissertation Award in 2016.  PDF

NWPT 2016.
Thread Summaries for Lock-Free Data Structures.  publications

ACSD 2017.
Roland Meyer is a member of the programme committee.

FSTTCS 2016.
Summaries for Context-Free Games.  publications

D-CON 2017.
Roland Meyer will speak at the D-CON workshop.

EATCS Distinguished Dissertation Award.
The thesis “Monoids as Storage Mechanisms” (by Georg Zetzsche) received the EATCS Distinguished Dissertation Award in 2016.  PDF

Marktoberdorf 2016.
Sebastian Wolff was accepted to the Marktoberdorf Summer School.

MEMICS 2016.
Roland Meyer will speak at the MEMICS workshop.

Carl Zeiss.
Our project ArchiV: Architecture-aware Verification has been granted.  research

LICS 2016.
Complexity of Regular Abstractions of One-Counter Languages.  publications

LICS 2016.
First-Order Logic with Reachability for Infinite-State Systems.  publications

UPMARC 2016.
Roland Meyer will speak at the UPMARC summer school.

CONCUR 2017.
Roland Meyer is a co-chair of the conference.

ESOP 2016.
On Hierarchical Communication Topologies in the π-calculus.  publications

FoSSaCS 2017.
Roland Meyer is a member of the programme committee.

Best teaching award SoSe 2015.
Our Bachelor's course Logik received the best teaching award.

ACSD 2016.
Roland Meyer is a member of the programme committee.

VMCAI 2016.
Pointer Race Freedom.  publications

FSTTCS 2015.
What's Decidable about Availability Languages?.  publications

NETYS 2016.
Roland Meyer is a member of the programme committee.

RP 2015.
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets.  publications

Best student paper at ICALP 2015.
An approach to computing downward closures.  publications

ACM TECS.
Memory-Model-Aware Testing - a Unified Complexity Analysis.  publications

NETYS 2015.
Antichains for Recursive Program Verification.  publications

CCDP 2015.
Roland Meyer will give an invited talk. More about the workshop can be found  here

FSTTCS 2015.
Roland Meyer is a member of the programme committee.

SKILL 2015.
Roland Meyer is a member of the programme committee. More about the conference can be found  here

MM 2015.
Roland Meyer will give an invited talk. More about the workshop can be found  here

TACAS 2016.
Roland Meyer is a member of the programme committee.

STACS 2015.
Computing downward closures for stacked counter automata.  publications

CONCUR 2015.
Roland Meyer is a member of the programme committee. More about the conference can be found  here

ACSD 2015.
Roland Meyer is a co-chair of the programme committee. More about the conference can be found  here

FASE 2015.
Lazy TSO Reachability.  publications