Ackermann Award 2020 Given to Benjamin Kaminski

Benjamin Kaminski in front of a whiteboard Copyright: © Valentin Bister

The Ackermann Award 2020 is given to Benjamin Kaminski for his thesis “Advanced Weakest Precondition Calculi for Probabilistic Programs” defended in February 2019. 


Mr Kaminski defended his thesis in February 2019 and is now lecturer at University College London.

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL.