Anne-Kathrin Schmuck joins the tenure-track faculty at our institute starting July 2023.
MPI-SWS researchers have received the 2023 Alonzo Church Award for their seminal work on the Iris Framework for higher-order concurrent separation logic.
MPI-SWS researchers have received the 2023 EATCS best paper award for their paper "Unboundedness problems for machines with reversal-bounded counters."
MPI-SWS researchers published 6 papers at ICALP 2023 and LICS 2023.
Kaushik Mallik's thesis has received the 2023 ETAPS Doctoral Dissertation Award.