UnRAVel Alumnus Benjamin Kaminski erhält den Ackermann Award 2020

30.10.2020
 

UnRAVel Alumnus Benjamin Kaminski erhält den Ackermann Award 2020 für seine Dissertation

" Advanced Weakest Precondition Calculi for Probabilistic Programs ".

Benjamin hat seine Doktorarbeit in Februar 2019 verteidigt. Er ist jetzt als Lecturer am University College London tätig.

Der Ackermann Award wird jährlich durch die EACSL vergeben für eine exzellente Doktorarbeit im Bereich "Logic in Computer Science".

Herzlichen Glückwunsch!