Former MPI-SWS postdoc Ori Lahav was awarded an ERC starting grant on "Verification-Aware Programming Language Concurrency Semantics".
Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory in summer 2019 at the University of Kaiserslautern.
MPI-SWS postdoctoral fellow Azalea Raad has been selected to attend the 7th annual Heidelberg Laureate Forum in September 2019. An international committee of experts selected Azalea for one of only 200 spots reserved for young computer scientists and mathematicians from around the world.
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019.
Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic have won a Distinguished Paper award at OOPSLA 2018.