The Ackermann Award 2020 is given to UnRAVeL alumnus Benjamin Kaminski
Benni defended 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
Congratulations to Benni!