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

 

Information can also be find 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)

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

Publications

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

DBLP

or

Google Scholar.

Search