Prof. Dr. Kirstin Peters

Professor
Professur für Theorie verteilter Systeme
Phone: +49 821 598 - 2120
Fax: +49 821 598 - 2175
Email:
Room: 3010 (N)
Address: Universitätsstraße 6a, 86159 Augsburg

Curriculum/Vitae

since 2022      Professor at University of Augsburg
2019 - 2022    Assistent Professor at the Technical University of Darmstadt
2014 - 2015    Guestprofessor at the Technical University of Dresden

2012 - 2019    Post-Doc at the Technical University of Berlin

2012               Research Assistent at the University of Uppsala

19.09.2012     Ph.D. Thesis at the Technical University of Berlin

2008 - 2012    Research Assistent at the Technical University of Berlin

2006 - 2008    Research Assistent at the University of Potsdam

 

More information can be found at https://orcid.org/ with the ORCID 0000-0002-4281-0074.

Research foci

  • Concurrency Theory
  • Modelling Languages
  • Process Calculi
  • Multiparty Session Types
  • Quantum-Based Systems
  • Interactive Theorem Proving
  • Causality
  • Distributed Algorithms
  • (A)Synchrony and Distributability
  • Comparison of Concurrency Formalisms
  • Encodability and Separation Results
  • Quality of Encodability Criteria

Courses / teaching

(applied filters: semester: current | lecturers: Kirstin Peters | course types: all)
name semester type
Ü6-TI Do 15:45 summer semester 2025 Übung
Ü8-TI Fr 12:15 summer semester 2025 Übung
Ü4-TI Mi 14:00 summer semester 2025 Übung
Einführung in die Theoretische Informatik summer semester 2025 Vorlesung
Ü9-TI Fr 14:00 summer semester 2025 Übung
Ü1-TI Mo 14:00 summer semester 2025 Übung
Ü3-TI Di 8:15 summer semester 2025 Übung
Ü5-TI Do 8:15 summer semester 2025 Übung
Globalübung zu Einführung in die Theoretische Informatik summer semester 2025 Begleitübung
Ü2-TI Mo 17:30 summer semester 2025 Übung
Übung zu Einführung in die Theoretische Informatik summer semester 2025 Übung
Ü7-TI Fr 10:00 summer semester 2025 Übung
Offener Inforaum zu Einführung in die Theoretische Informatik summer semester 2025 Begleitübung

More information can be found in the course cataloge of the university of Augsburg and in Digicampus.

Publications

A list of my publications can be found e.g. at

DBLP

or

Google Scholar.

Search