Ralf Jung's thesis has received the 2021 ACM SIGPLAN Dissertation Award, marking the second year in a row that the award was given to an MPI-SWS student.
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement.
Max Planck Researchers have authored eight papers to appear in POPL 2021, over 10% of all papers accepted this year.
MPI-SWS faculty member Joël Ouaknine has been elected a member of the Academia Europaea in 2020.
Manuel Gomez-Rodriguez has been awarded an ERC Starting Grant of almost 1.5 million euros for his project "Human-Centric Machine Learning".
We present fully automated approaches to safety and termination analysis of probabilistic while-programs ...