MPI-SWS faculty member Joël Ouaknine has been elected a member of the Academia Europaea in 2020.
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.
Goran Radanovic has joined the institute as a research group leader. His research investigates the design and analysis of systems with intelligent and self-interested agents.
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.