Prof. Dr. Kirstin Peters
Professorin
Professur für Theorie verteilter Systeme
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 |
|---|---|---|
| ?07-TI Fr 10:00 | Sommersemester 2024 | ?bung |
| ?06-TI Fr 08:15 | Sommersemester 2024 | ?bung |
| ?02-TI Di 15:45 | Sommersemester 2024 | ?bung |
| ?01-TI Mo 14:00 | Sommersemester 2024 | ?bung |
| Offener Inforaum zu Einführung in die Theoretische Informatik | Sommersemester 2024 | Begleitübung |
| Einführung in die Theoretische Informatik | Sommersemester 2024 | Vorlesung |
| ?04-TI Mi 12:15 | Sommersemester 2024 | ?bung |
| ?03-TI Mi 08:15 | Sommersemester 2024 | ?bung |
| Tutorenübung zu Einführung in die Theoretische Informatik | Sommersemester 2024 | Begleitübung |
| ?05-TI Do 17:30 | Sommersemester 2024 | ?bung |
| ?08-TI Fr 12:15 | Sommersemester 2024 | ?bung |
| Globalübung zu Einführung in die Theoretische Informatik | Sommersemester 2024 | Begleitübung |
| ?bung zu Einführung in die Theoretische Informatik | Sommersemester 2024 | ?bung |
| ?09-TI Fr 15:45 | Sommersemester 2024 | ?bung |
N?here Informationen sind im Vorlesungsverzeichnis und in Digicampus zu finden.