Abgeschlossene Promotion: Anton Pirogov
18.02.2021
Am Donnerstag den 18. Februar 2021, hat Anton Pirogov seine Dissertation "Automata-Theoretic Techniques in Probabilistic Verification" erfolgreich verteidigt.
Zum Inhaltsbereich Zur Hauptnavigation Zur Suche
Zurück
Vorlesungen und Seminare
Zurück
Stammtisch
Zurück
Bi-Weekly Meetings
Zurück
Jährlicher Frühlingsworkshop
Zurück
UnRAVeL Seminars
Zurück
Sommerschulen und Workshops
Zurück
Buchclub
Zurück
Ringvorlesung "Biggest Milestones - Research at Its Peak"
Zurück
Publikationen
Zurück
Laufende Dissertationsprojekte
Zurück
Abgeschlossene Promotionen
Zurück
Abgeschlossene Bachelor- und Masterarbeiten
Zurück
Profil
Zurück
Team
Zurück
Ombudsperson
Zurück
DFG – deutsche Forschungsgemeinschaft
Zurück
Aktuelle Veranstaltungen
Zurück
Meldungen & Highlights
Zurück
Veranstaltungsarchiv
Zurück
Gender & Diversity
Zurück
Gastwissenschaftlerinnen und -wissenschaftler
Zurück
UnRAVeL Pinnwand
Zurück
Fakultäten und Einrichtungen
Fakultäten und Institute
- Mathematik, Informatik, NaturwissenschaftenFakultät 1
- ArchitekturFakultät 2
- BauingenieurwesenFakultät 3
- MaschinenwesenFakultät 4
- Georessourcen und MaterialtechnikFakultät 5
- Elektrotechnik und InformationstechnikFakultät 6
- Philosophische FakultätFakultät 7
- WirtschaftswissenschaftenFakultät 8
- MedizinFakultät 10
UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic
Letzte Aktualisierung : 30.08.2021
Meldungen und Highlights 2021
- Sie sind hier:Abgeschlossene Promotion: Anton Pirogov