News Archive




Image of press release
Two International Honors for Saarbrücken Max Planck Director

Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze Professor Derek Dreyer, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world’s largest scientific…

Image of press release
7.5 Million Euro ERC Grant Awarded to Research combining Mathematics and Theoretical Computer Science

So-called ‘discrete dynamical systems’ form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. Creating algorithmic solutions to make these systems amenable to automated verification techniques remains a major challenge. Researchers at the Max Planck Institute…

Image of press release
Max Planck Researchers honored for outstanding contributions to logic and computation

MPI-SWS faculty member Derek Dreyer and nine of his collaborators (including notably UdS/MPI alumnus Ralf Jung, as well as former MPI-SWS postdocs Jacques-Henri Jourdan and Aaron Turon and UdS/MPI student David Swasey) have received the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for their seminal work on the Iris framework for higher-order concurrent separation logic. Specifically, the…

123