Doctorate with Distinction: Benjamin Kaminski

08/02/2019
Dissertation Benjamin Kaminski Copyright: UnRAVeL

On Friday 8th of February 2019, Benjamin Kaminski defended his dissertation titled "Advanced Weakest Precondition Calculi for Probabilistic Programs". He received his doctorate with distinction.