Promotion mit Auszeichnung: Marcel Hark

Urheberrecht: © UnRAVel

Marcel Hark hat seine Dissertation "Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs". erfolgreich verteidigt und wurde mit einer Auszeichnung geehrt.