Concurrency Theory Concurrency Theory Group

Department of Computer Science
University of Kaiserslautern



Georg Zetzsche

Dipl.-Inf.

Email: zetzsche (at) cs (dot) uni-kl (dot) de
Phone: +49 (0)631 205 21 55
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 423, Gottlieb-Daimler Straße, D-67653 Kaiserslautern, map.

Since February 2011, I have been a PhD student in the Concurrency Theory Group. Before that, I studied computer science at Universität Hamburg. My interests include formal languages (especially automata and regulated rewriting) and algebraic graph theory.

Publications.

Teaching

I have been a teaching assistant for the following courses:
  • Summer semester 2007: Formale Grundlagen der Informatik 1 (Formal Foundations of Informatics 1) at Universität Hamburg
  • Winter semester 2007/2008: Formale Grundlagen der Informatik 2 (Formal Foundations of Informatics 2) at Universität Hamburg
  • Summer semester 2008: Formale Grundlagen der Informatik 1 (Formal Foundations of Informatics 1) at Universität Hamburg
  • Winter semester 2008/2009: Algorithmen und Datenstrukturen (Algorithms and Data Structures) at Universität Hamburg
  • Summer semester 2009: Formale Grundlagen der Informatik 1 (Formal Foundations of Informatics 1) at Universität Hamburg
  • Summer semester 2011: Applied Automata Theory at Technische Universität Kaiserslautern.

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