Abgeschlossene Promotion: Anton Pirogov

18.02.2021
Anton Pirogov Urheberrecht: © Irina Pirogova

Am Donnerstag den 18. Februar 2021, hat Anton Pirogov seine Dissertation "Automata-Theoretic Techniques in Probabilistic Verification" erfolgreich verteidigt.