Prof. Dr. Kirstin Peters

Professorin
Professur für Theorie verteilter Systeme
Telefon: +49 821 598 - 2120
Fax: +49 821 598 - 2175
E-Mail:
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
Ü6-TI Do 15:45 Sommersemester 2025 Übung
Ü8-TI Fr 12:15 Sommersemester 2025 Übung
Ü4-TI Mi 14:00 Sommersemester 2025 Übung
Einführung in die Theoretische Informatik Sommersemester 2025 Vorlesung
Ü9-TI Fr 14:00 Sommersemester 2025 Übung
Ü1-TI Mo 14:00 Sommersemester 2025 Übung
Ü3-TI Di 8:15 Sommersemester 2025 Übung
Ü5-TI Do 8:15 Sommersemester 2025 Übung
Globalübung zu Einführung in die Theoretische Informatik Sommersemester 2025 Begleitübung
Ü2-TI Mo 17:30 Sommersemester 2025 Übung
Übung zu Einführung in die Theoretische Informatik Sommersemester 2025 Übung
Ü7-TI Fr 10:00 Sommersemester 2025 Übung
Offener Inforaum zu Einführung in die Theoretische Informatik Sommersemester 2025 Begleitü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