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…
Open Diffix is an MPI-SWS-supported open software project to develop strong but usable data anonymization. Open Diffix is built on the data anonymization technology Diffix, which has been developed in a research partnership between the group of Paul Francis and Aircloak GmbH. Open Diffix recently released its first tool, „Diffix for Desktop“.…
