Doctorate with Distinction: Marcel Hark

Copyright: © 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.