Promotion mit Auszeichnung: Benjamin Kaminski

08.02.2019
Promotion Benjamin Kaminski Urheberrecht: UnRAVeL

Am Freitag, dem 8. Februar 2019, hat Benjamin Kaminski seine Dissertation "Advanced Weakest Precondition Calculi for Probabilistic Programs" erfolgreich verteidigt und wurde mit einer Auszeichnung geehrt.