Alonzo Church Award voor Robbert Krebbers

Robbert Krebbers, universitair hoofddocent Software Science aan de Radboud Universiteit, ontvangt de Alonzo Church Award 2023. De prijs wordt jaarlijks door de Association for Computing Machinery (ACM SIGLOG) en de Europese organisaties voor logica in de informatica (EATCS, EACSL en de Kurt Gödel society) uitgereikt aan onderzoekers die een invloedrijke bijdrage geleverd hebben aan de logica in de informatica in de afgelopen 25 jaar. Krebbers ontvangt de prijs samen met collega's van het Max Planck Institute for Software Systems in Duitsland, Aarhus University in Denemarken, ETH Zurich in Zwitserland, CNRS Parijs in Frankrijk, en Universiteit van Wroclaw in Polen. De onderzoekers ontvangen de prijs voor vier publicaties over de ontwikkeling van de Iris logica voor het vaststellen van de correctheid van computerprogramma's. Separation logic . Een belangrijke uitdaging van onderzoekers in de informatica is om computerprogramma's te bouwen die nooit vastlopen, nooit fouten maken én veilig zijn. In de realiteit is dat echter lastig voor elkaar te krijgen omdat huidige computerprogramma's complex zijn en vaak meerdere taken tegelijkertijd (in parallel) uitvoeren.