Alonzo Church Award for Robbert Krebbers

Robbert Krebbers, associate professor of Software Science at Radboud University, will receive the Alonzo Church Award 2023. The prize is awarded annually by the Association for Computing Machinery (ACM SIGLOG) and the European organisations for logic in computer science (EATCS, EACSL and the Kurt Gödel society) to researchers who have made influential contributions to logic in computer science over the past 25 years.

Krebbers receives the award together with colleagues from the Max Planck Institute for Software Systems in Germany, Aarhus University in Denmark, ETH Zurich in Switzerland, CNRS Paris in France, and the University of Wrocław in Poland. The researchers received the prize for four publications on the development of the Iris logic, for determining the correctness of computer programs.

See more here.