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!