As part of our periodic evolution and development, MPI-SWS organized an (in-person) symposium on research topics of emerging interest in the broad area of software systems. We invited six top researchers from around the world to participate: Natacha Crooks (UC Berkeley), Alexandra Silva (Cornell University), Maria Christakis (TU Wien), Stefanie…
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…
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…
