MPI-SWS-Fakultätsmitglied Peter Druschel wurde mit dem 2025 IEEE TCDP Outstanding Technical Achievement Award für seine bahnbrechenden Beiträge zum Entwurf und zur Implementierung großskaliger verteilter Systeme ausgezeichnet. Weitere Informationen zu der Auszeichnung und den bisherigen Preisträgern finden Sie hier.
MPI-SWS faculty member Derek Dreyer and his collaborators made a very strong showing at the top programming language conferences this year. They received Distinguished Paper Awards for two papers at PLDI 2025 and one at POPL 2025. At PLDI this year, only 6 papers were given this award out of…
MPI-SWS faculty member Joël Ouaknine has received the 2025 LICS Test-of-Time award for his 2005 paper “On the Decidability of Metric Temporal Logic”. The work was done in collaboration with Ben Worrell.
Forschungstage supports the next generation of scientists with lectures, workshops, and insights into latest computer science research From June 25 to 27, 2025, Saarbrücken will once again become a hub for young computer science enthusiasts from across Germany. Since 2008, the Saarbrücken Research Days have provided selected high school students…
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…
