XClose

UCL Computer Science

Home
Menu

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.

Dr Benjamin Kaminski

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

EASCL Ackermann Award 2020

29th EACSL Annual Conference on Computer Science Logic

Read more about Dr Benjamin Kaminski