Sandra Kiefer has joined the institute as a research group leader. Her research interests include algorithmic and structural graph theory as well as logic in computer science, with a recent focus on the applicability of tools from these areas to the study of biochemical networks.
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.
Adish Singla has been awarded an ERC Starting Grant of 1.5 million euros for his project "Machine-Assisted Teaching for Open-Ended Problem Solving: Foundations and Applications".
Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.
Recent years have seen tremendous progress in the development and industrial adoption of rigorous ...