MPI-SWS scientific director Joël Ouaknine was appointed as a Fellow by the European Association for Theoretical Computer Science (EATCS). Joël, who leads the “Foundations of Algorithmic Verification” research group, was appointed EATCS fellow for "fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms." The EATCS Fellows Program was established…
The new graduate school will develop advanced AI methods for basic life sciences research. The school will focus on deepening understanding of biological systems by combining modern biomedical technologies with innovative approaches to artificial intelligence. The aim is to train a new generation of scientists who will develop algorithms that…
The paper Tree Borrows (authored by Neven Villani, Johannes Hostert, Derek Dreyer, and Ralf Jung), not only received a Distinguished Paper Award at PLDI'25, but in the year 2025 it was the single most downloaded article from all issues of the entire PACMPL (the ACM journal publishing the proceedings of POPL,…
Researchers from the Max Planck Institute for Software Systems (MPI-SWS) have authored a total of 5 papers accepted to POPL 2026. This is the ninth year in a row that MPI-SWS researchers have published 5+ papers in POPL. Congratulations to all our POPL authors! A Verified High-Performance Composable Object…
Toghrul Karimov, a graduate student in Joël Ouaknine's Foundations of Automatic Verification Group, has received the 2025 Ackermann Award for his PhD thesis, “Algorithmic Verification of Linear Dynamical Systems.” The Ackermann Award is an international prize presented annually to the author of an exceptional doctoral dissertation in the field of…
