Benjamin Kaminski erhält den Ackermann Award 2020

02.11.2020
Benjamin Kaminski vor einer Tafel Urheberrecht: Valentin Bister

Benjamin Kaminski erhält den Ackermann Award 2020 für seine Dissertation “Advanced Weakest Precondition Calculi for Probabilistic Programs”.

 

Herr Kaminski 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”.