AI agents have improved rapidly and demonstrate remarkable capabilities in areas such as communication and software programming. In this interview, MPI-SWS director Krishna Gummadi clarifies the characteristics of AI agents and discusses the benefits they offer people and the risks they pose to society.
Anthony W. Lin -- Max Planck Fellow at MPI-SWS and CS professor at RPTU in Kaiserslautern -- has received an Outstanding Paper Award at ICLR 2026, one of the flagship conferences in machine learning, for his work on "Transformers are Inherently Succinct” (https://openreview.net/forum?id=Yxz92UuPLQ)! This is an incredible achievement — only…
Researchers from the Max Planck Institute for Software Systems (MPI-SWS), the Max Planck Institute for Informatics (MPI-INF), and the Max Planck Institute for Security and Privacy (MPI-SP) have coauthored 20 papers at the LICS 2026 and ICALP 2026 conferences, two of the top conferences in theoretical computer science. LICS is…
The EATCS Award for the best theory paper at ETAPS 2026 was awarded to Isa Vialard, Joël Ouaknine and Quentin Guilmant for their paper "The value problem for weighted timed games with two clocks is undecidable", published in FoSSaCS 2026. The EATCS award is given each year to the best…
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…
