Doctorate with Distinction: Marcel Hark

06/07/2021
Marcel Hark © UnRAVel

Marcel Hark successfully defended his dissertation entitled "Towards Complete Methods for Automatic Complexity and Termination Analysis of (Probabilistic) Programs". He received his doctorate with distinction.