Ralf Jung receives 2021 ETAPS dissertation award. His work on Rust was also featured in a recent CACM article.
MPI-SWS faculty member Joël Ouaknine has been elected a member of the Academia Europaea in 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".
We apply techniques from Software Engineering--including static analysis and test generation--to validate and verify properties of neural networks, such as robustness and fairness.
Max Planck Researchers have authored eight papers to appear in POPL 2020, just over 10% of all papers accepted this year.
Rigorous approaches based on controller synthesis can generate correct-by-construction controllers that guarantee that ...
Synthesizing photo-realistic images is of crucial importance for a large variety of applications, ...