Applications are invited for tenure-track faculty in all areas of computer science. Applications should be received by Dec 1, 2018.
Antoine Kaufmann has joined the institute as a research group leader. His research investigates the design and implementation of efficient, scalable, and robust systems for rapidly evolving modern platforms.
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019. What's more, the MPI-SWS Software Analysis and Verification group has a whole session to itself!
ACM's Special Interest Group on Operating Systems has awarded MPI-SWS faculty member Jonathan Mace an honorable mention for the Dennis M. Ritchie Doctoral Dissertation Award.
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.
Real-time embedded systems need to be analyzable for execution time guarantees. Despite significant ...