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…
Saarland University, the Max Planck Institute for Informatics and the Max Planck Institute for Software Systems are part of one of only three newly established "Konrad Zuse Schools" for Artificial Intelligence, which are being set up by the German Academic Exchange Service (DAAD) with funding from the Federal Ministry of…