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.
Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement.
MPI-SWS researchers receive several ETAPS 2021 awards: the EAPLS Best Paper Award, an EAPLS best paper nomination, and a most distinguished tool award.