足球竞彩网_365bet体育在线投注-【中国科学院】

图片

图片

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.

足球竞彩网_365bet体育在线投注-【中国科学院】