| H1 | The Max Planck Institute for Software Systems |
| H1 | Need help? |
| H2 | Anne-Kathrin Schmuck joins MPI-SWS tenure-track faculty |
| H2 | MPI-SWS researchers receive the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation |
| H2 | Kaushik Mallik awarded ETAPS Doctoral Dissertation Award |
| H2 | Georg Zetzsche awarded ERC Starting Grant |
| H2 | Francis' group releases SynDiffix, the world's most accurate synthetic data generator |
| H2 | Laurent Bindschaedler joins MPI-SWS faculty |
| H2 | Research areas |
| H2 | Algorithms, Theory & Logic |
| H2 | Programming Languages & Verification |
| H2 | Cyber-Physical Systems |
| H2 | Distributed, Networked & Mobile Systems |
| H2 | Security & Privacy |
| H2 | Social & Information Systems |
| H2 | More CS @ Max Planck |
| H2 | News |
| H2 | Events |
| H3 | Mariya Toneva joins MPI-SWS tenure-track faculty |
| H3 | Rupak Majumdar wins CONCUR test-of-time award |
| H3 | Two faculty win prestigious Google Research Scholar awards |
| H3 | Derek Dreyer appointed MPI-SWS Director |
| H3 | Outstanding Paper Honorable Mention at AAAI 2022 |
| H3 | Expanding the Horizons of Finite-Precision Analysis |
| H3 | Digital Safety and Security for Survivors of Technology-Mediated Harms |
| H3 | Efficient Request Isolation in Function-as-a-Service |
| H3 | Designing for Autonomy in Data-Driven AI Systems |
| H3 | Shaping Experience and Expression by Designing Sensorimotor Contingencies |
Meta Title
