Abgeschlossene Promotion: Daxin Liu
24.10.2022
Urheberrecht: © Joost Pieter Katoen
Am Montag den 21. November 2022 hat Daxin Liu seine Dissertation "Projection in a Probabilistic Epistemic Logic and Its Application to Belief-based Program Verification" erfolgreich verteidigt.