Prof. Dr. Kirstin Peters
| Phone: | +49 821 598 - 2120 |
| Fax: | +49 821 598 - 2175 |
| Email: | kirstin.peters@uni-auni-a.de () |
| Room: | 3010 (N) |
| Address: | Universit?tsstra?e 6a, 86159 Augsburg |
Curriculum/Vitae
since 2022????? Professor at 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Augsburg
2019 - 2022 ?? Assistent Professor at the Technical 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Darmstadt
2014 - 2015 ?? Guestprofessor at the Technical 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Dresden
2012 - 2019??? Post-Doc at the Technical 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Berlin
2012?? ?? ???????? Research Assistent at the 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Uppsala
19.09.2012???? Ph.D. Thesis at the Technical 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Berlin
2008 - 2012??? Research Assistent at the Technical 威尼斯赌博游戏_威尼斯赌博app-【官网】 of Berlin
2006 - 2008??? Research Assistent at the 威尼斯赌博游戏_威尼斯赌博app-【官网】 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
| name | semester | type |
|---|---|---|
| Isabelle-Lab | winter semester 2024/25 | Vorlesung |
| Oberseminar Theorie verteilter und paralleler Systeme | winter semester 2024/25 | Oberseminar |
| Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme | winter semester 2024/25 | Vorlesung |
| ?bung zu Typsysteme | winter semester 2024/25 | ?bung |
| Typsysteme | winter semester 2024/25 | Vorlesung |
| ?bung zu Isabelle-Lab | winter semester 2024/25 | ?bung |
| ?bung zu Logik für Informatiker / Modellierung diskreter Systeme /Modellierung informationstechnischer Systeme / Modellierung und Analyse technischer Systeme | winter semester 2024/25 | ?bung |
More information can be found in the course cataloge of the university of Augsburg and in Digicampus.