Concurrency Theory Concurrency Theory Group

Department of Computer Science
University of Kaiserslautern



Roland Meyer

Juniorprofessor of Theoretical Computer Science

Head of the Concurrency Theory Group

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 428, Gottlieb-Daimler Straße, D-67653 Kaiserslautern, map.

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.

Professional Activities

  • CP meets CAV Constraint Programming meets Computer Aided Verification (invited).
  • YR-CONCUR 2012 Young Researchers Workshop on Concurrency Theory (PC).
  • Infinity 2012 14th International Workshop on Verification of Infinite-State Systems (PC).
  • 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).
  • YR-CONCUR 2011 Young Researchers Workshop on Concurrency Theory (PC).
  • ACSD 2011 11th International Conference on Application of Concurrency to System Design (PC).
  • ACSD 2010 10th International Conference on Application of Concurrency to System Design (PC).
  • Graduate Schools Workshop 2008 in Schloss Dagstuhl (co-chair).

Awards

Research Visits

  • April 2008 and November/December 2007: Visited the Modelling and Reasoning Group, University of Newcastle.
  • March 2006: Visited the Distributed Systems Research Group, Charles University, Prague.

Curriculum Vitae

Roland Meyer Since July 2010, I am juniorprofessor of theoretical computer science and head of the concurrency theory group at the University of Kaiserslautern. 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

Best paper at ETAPS 2012.
Language-Theoretic Abstraction Refinement was awarded best paper from EAPLS.  publications by Georgel

ACSD 2012.
An Algorithmic Framework for Coverability in Well-Structured Systems.  publications by Roland

YR-CONCUR 2012.
Roland Meyer is a member of the programme committee. More about the workshop can be found  here

INFINITY 2012.
Roland Meyer is a member of the programme committee. More about the workshop can be found  here

FSTTCS 2011.
Petri Net Reachability Graphs: Decidability Status of FO Properties.  publications by Roland

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

D-CON 2012
will be organised by the Concurrency Theory Group. The workshop takes place on the 08th and 09th of March 2012. More about the workshop can be found  here

Theorietag 2011.
Georg is giving an invited talk on erasing productions in grammars with regulated rewriting.  Homepage

ICALP 2011.
Deciding robustness against total store ordering.  publications by Roland

ICALP 2011.
On the capabilities of grammars, automata and transducers controlled by monoids.  publications by Georg

DLT 2011.
A sufficient condition for erasing productions to be avoidable.  publications by Georg

CONCUR 2010.
Kleene, Rabin, and Scott are available.  pdf  publications by Roland

ICALP 2010.
The downward-closure of Petri net languages.  pdf  publications by Roland

CAV 2010.
Petruchio: from dynamic networks to nets.  pdf  publications by Roland

Offers

Theses.
Experience international collaborations, discuss with leading researchers, and put forward the state-of-the-art in concurrency theory. We offer Bachelor's, Master's, and PhD theses.  more information

Bachelor's cours.
Attend our lecture on Logic in summer 2012. teaching

Theory seminar.
Our seminar takes place on Fridays, 2pm, in 34/420. We welcome you to join us!

Pictures

Paris

Previously, Roland Meyer worked in LIAFA's  Modelling and Verification team.
http://concurrency.cs.uni-kl.de