拉斯维加斯赌城

图片

Prof. Dr. Kirstin Peters

Professor
Professur für Theorie verteilter Systeme
Phone: +49 821 598 - 2120
Fax: +49 821 598 - 2175
Email:
Room: 3010 (N)
Address: Universit?tsstra?e 6a, 86159 Augsburg

Curriculum/Vitae

since 2022????? Professor at University of Augsburg
2019 - 2022 ?? Assistent Professor at the Technical University of Darmstadt
2014 - 2015 ?? Guestprofessor at the Technical University of Dresden

2012 - 2019??? Post-Doc at the Technical University of Berlin

2012?? ?? ???????? Research Assistent at the University of Uppsala

19.09.2012???? Ph.D. Thesis at the Technical University of Berlin

2008 - 2012??? Research Assistent at the Technical University of Berlin

2006 - 2008??? Research Assistent at the University of Potsdam

?

More information can be found 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

(applied filters: semester: current | lecturers: Kirstin Peters | course types: all)
name semester type
?6-TI Do 15:45 summer semester 2025 ?bung
?8-TI Fr 12:15 summer semester 2025 ?bung
?4-TI Mi 14:00 summer semester 2025 ?bung
Einführung in die Theoretische Informatik summer semester 2025 Vorlesung
?9-TI Fr 14:00 summer semester 2025 ?bung
?1-TI Mo 14:00 summer semester 2025 ?bung
?3-TI Di 8:15 summer semester 2025 ?bung
?5-TI Do 8:15 summer semester 2025 ?bung
Globalübung zu Einführung in die Theoretische Informatik summer semester 2025 Begleitübung
?2-TI Mo 17:30 summer semester 2025 ?bung
?bung zu Einführung in die Theoretische Informatik summer semester 2025 ?bung
?7-TI Fr 10:00 summer semester 2025 ?bung
Offener Inforaum zu Einführung in die Theoretische Informatik summer semester 2025 Begleitübung

More information can be found in the course cataloge of the university of Augsburg and in Digicampus.

Publications

A list of my publications can be found e.g. at

DBLP

or

Google Scholar.

Search