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-auni-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 2024/25 | Vorlesung |
| Oberseminar Theorie verteilter und paralleler Systeme | Wintersemester 2024/25 | Oberseminar |
| Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme | Wintersemester 2024/25 | Vorlesung |
| Übung zu Typsysteme | Wintersemester 2024/25 | Übung |
| Typsysteme | Wintersemester 2024/25 | Vorlesung |
| Übung zu Isabelle-Lab | Wintersemester 2024/25 | Übung |
| Übung zu Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme | Wintersemester 2024/25 | Übung |
Nähere Informationen sind im Vorlesungsverzeichnis und in Digicampus zu finden.