Promotion with Honors: Benjamin Kaminski

08/02/2019
Dissertation Benjamin Kaminski Copyright: UnRAVeL

On Wednesday 8th of February 2019, Benjamin Kaminski defended his dissertation titled "Advanced Weakest Precondition Calculi for Probabilistic Programs". He received the promotion with honors.