Joël Ouaknine was appointed as a Fellow by the Association for Computing Machinery, for his contributions to algorithmic analysis of dynamical systems.
MPI-SWS external scientific member Bob Harper has received the 2021 ACM SIGPLAN Programming Languages Achievement Award---the most significant international career award in programming languages.
Max Planck researchers have authored eleven papers to appear in POPL 2022, almost 17% of all papers accepted this year.
Sumit Gulwani, a scientist at Microsoft Research, has been awarded the 2021 Max Planck-Humboldt Medal. He will collaborate with Rupak Majumdar and Adish Singla on the problem of AI in Education.
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.