拉斯维加斯赌城

图片

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)

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.

拉斯维加斯赌城