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…
Further intensifying cooperation between the Faculty of Mathematics and Computer Science at Saarland University and the partnered non-university computer science research institutions in Saarland – that is the aim of the "Saarland University Associate Fellowship". The faculty has now appointed the first six scientists to the rank of "Fellows". The…
AI tools like ChatGPT are currently taking the world by storm, but these systems come with risks of their own. They can, for example, reinforce racial prejudice, they can be used for novel forms of cyberattacks or they can simply generate inaccurate responses or misleading information. Due to the complexity…
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…
Modern software systems already control critical infrastructures, factories, self-driving cars and smart homes. The problem is that many of these systems have become so complex that no expert can understand if, how and why they work. Scientists at Saarland University, the Max Planck Institute for Software Systems, the CISPA Helmholtz…
