Team
Bild von Kirstin Peters
Bild: Fotostudio Michels

Prof. Dr. rer. nat. Kirstin Peters

Theorie Paralleler Systeme (TPS)

Kontakt

work +49 (0)6515 16-25282

Work S2|02 D205
Hochschulstrasse 10
64289 Darmstadt

  • Modellierung und Analyse verteilter und paralleler Systeme (Concurrency Theory)
  • Analyse und Anpassung von Modellierungssprachen
  • Prozesskalküle, Petri-Netze, Event Structures, Multiparty Session Types, …
  • Verteilte Algorithmen
  • Interaktives Theorembeweisen

Publikationen

Meine Publikationen können in DBLP oder Google Scholar gefunden werden.