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.
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.
Synthesizing photo-realistic images is of crucial importance for a large variety of applications, ...
Domain-specific hardware accelerators for graphics, deep learning, image processing, and other tasks have ...