Prof. Dr. Kirstin Peters

Professorin
Professur für Theorie verteilter Systeme
Telefon: +49 821 598 - 2120
Fax: +49 821 598 - 2175
E-Mail: kirstin.peters@uni-a.de
Raum: 3010 (N)
Adresse: Universitätsstraße 6a, 86159 Augsburg

Lebenslauf

Seit 2022        Professorin an der Universität Augsburg
2019 - 2022    Assistenzprofessorin an der Technischen Universität Darmstadt
2014 - 2015    Gastprofessorin an der Technischen Universität Dresden

2012 - 2019    Post-Doc an der Technischen Universität Berlin

2012               Wissenschaftliche Mitarbeiterin an der Universität in Uppsala

19.09.2012     Promotion an der Technischen Universität Berlin

2008 - 2012    Doktorandin an der Technischen Universität Berlin

2006 - 2008    Doktorandin an der Universität Potsdam

 

Informationen lassen sich auch über https://orcid.org/ mit der ORCID 0000-0002-4281-0074 finden.

Forschungsschwerpunkte

  • 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

Lehrveranstaltungen

(Angewandte Filter: Semester: aktuelles | Institutionen: Fakultät für Angewandte Informatik | Dozenten: Kirstin Peters | Vorlesungsarten: alle)
Name Semester Typ
Isabelle-Lab Wintersemester 2022/23 Vorlesung
Oberseminar Theorie verteilter und paralleler Systeme Wintersemester 2022/23 Oberseminar
Übung zu Typsysteme Wintersemester 2022/23 Übung
Typsysteme Wintersemester 2022/23 Vorlesung
Übung zu Isabelle-Lab Wintersemester 2022/23 Übung

Nähere Informationen sind im Vorlesungsverzeichnis und in Digicampus zu finden.

Publikationen

Eine aktuelle Liste meiner Publikationen lässt sich z.B. in

DBLP

oder

Google Scholar

finden.

Suche