MPI-SWS faculty member Joël Ouaknine has been elected a member of the Academia Europaea in 2020.
We help engineers build safe and reliable hardware, software, and cyber-physical systems, using a unique and promising strategy: combining inductive techniques (from the area of machine learning) with deductive techniques (from the area of mathematical logic).
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.