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.
The MPIs for Informatics and Software Systems welcomed 27 school-aged girls for the annual Girls' Day on 28 March.
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019.
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.