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.
Ralf Jung receives 2021 ETAPS dissertation award. His work on Rust was also featured in a recent CACM article.
Filip Niksic's thesis on "Combinatorial Constructions for Effective Testing" has won the ACM SIGNPLAN John C. Reynolds Doctoral Dissertation Award for 2020.
MPI-SWS postdoctoral fellow Anne-Kathrin Schmuck was accepted to the Emmy Noether Programme of the German Science Foundation (DFG) to establish her own research group developing "Automated modular synthesis techniques for reliable Cyber-Physical System (CPS) design".