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 Wroclaw in Poland. The researchers received the prize for four publications on the development of the Iris logic, for determining the correctness of computer programs. Separation logic. A critical challenge faced by computer science researchers is to build computer programs that never crash, never make mistakes, and are secure. In reality, however, this is difficult to achieve because current computer programs are complex and often run several tasks at the same time (in parallel).