Dr Benjamin Kaminski receives Ackermann Award 2020
28 January 2021
Dr Benjamin Kaminski is the recipient of the Ackermann Award 2020; the EACSL Outstanding Dissertation Award for Logic in Computer Science.
Congratulations to Dr Benjamin Kaminski (PPLV ) recipient of the Ackermann Award 2020. The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science.
Benjamin defended his thesis ‘Advanced Weakest Precondition Calculi for Probabilistic Programs’ at RWTH Aachen (Germany) in 2019.
The thesis is expected to make – in fact, it already has made – an important impact due to the promising and wide-ranging applications. Finally, the quality of exposition is exemplary. With almost 400 pages of well-chosen examples and lucid explanations, the thesis can serve as a textbook for newcomers in the field.
Supervisor, Prof Dr Joost-Pieter Katoen, RWTH Aachen University:
“This award is more than deserved for a brilliant dissertation. It was such a great joy to work with Benjamin.”
29th EACSL Annual Conference on Computer Science Logic
Read more about Dr Benjamin Kaminski