Team

Bild von Kirstin Peters
Picture: Fotostudio Michels

Prof. Dr. rer. nat. Kirstin Peters

Theory of Parallel Systems (TPS)

Contact

work +49 (0)6515 16-25282

Work S2|02 D205
Hochschulstrasse 10
64289 Darmstadt

  • modelling and analysis of concurrent systems (concurrency theory)
  • analysis and adaptations of modelling languages
  • process calculi, Petri-nets, event structures, multiparty session types, …
  • distributed algorithms
  • interactive theorem proving

Publications

My publications are available at DBLP or Google Scholar.