Der wissenschaftliche Direktor des MPI-SWS, Joël Ouaknine, wurde von der European Association for Theoretical Computer Science (EATCS) zum Fellow ernannt. Joël, der die Forschungsgruppe „Foundations of Algorithmic Verification“ leitet, wurde für „fundamental contributions to the algorithmic analysis of dynamical systems and related formalisms“ zum EATCS-Fellow ernannt. Das EATCS Fellows Program…
Die neue Graduiertenschule soll fortgeschrittene KI-Methoden für die Grundlagenforschung in den Lebenswissenschaften entwickeln. Der inhaltliche Fokus wird darauf liegen, das Verständnis biologischer Systeme zu vertiefen, indem moderne biomedizinische Technologien mit innovativen Ansätzen der künstlichen Intelligenz kombiniert werden. Ziel ist es, eine neue Generation von Wissenschaftlerinnen und Wissenschaftlern auszubilden, die Algorithmen…
Das Paper Tree Borrows (verfasst von Neven Villani, Johannes Hostert, Derek Dreyer und Ralf Jung) erhielt nicht nur einen Distinguished Paper Award auf der PLDI'25, sondern war im Jahr 2025 auch der am häufigsten heruntergeladene Artikel aus allen Ausgaben der gesamten PACMPL (der ACM-Fachzeitschrift, in der die Proceedings von POPL, PLDI,…
Forschende des Max-Planck-Instituts für Softwaresysteme (MPI-SWS) haben insgesamt fünf Paper verfasst, die für die POPL 2026 angenommen wurden. Dies ist das neunte Jahr in Folge, in dem Forschende des MPI-SWS fünf oder mehr Paper auf der POPL veröffentlichen. Herzlichen Glückwunsch an alle unsere POPL-Autor:innen! A Verified High-Performance Composable Object Library…
Toghrul Karimov, Doktorand in der Forschungsgruppe „Foundations of Automatic Verification“ unter der Leitung von Joël Ouaknine, hat den 2025 Ackermann Award für seine Dissertation mit dem Titel „Algorithmic Verification of Linear Dynamical Systems“ erhalten. Der Ackermann Award ist ein internationaler Preis, der jährlich für eine herausragende Dissertation auf dem Gebiet der…
