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".
MPI-SWS research group leader Goran Radanovic was accepted to the Emmy Noether Programme of the German Science Foundation (DFG) to establish his own research group designing a framework for trustworthy multi-agent sequential decision making.
Recent years have seen tremendous progress in the development and industrial adoption of rigorous ...
Finite-precision programs inevitably introduce numerical uncertainties, which are usually a combination of input uncertainties ...