The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.
Krishna Gummadi has been newly appointed as a director of the MPI for Software Systems, effective 1 June 2019.
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.