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.
Vineet Rajani and Deepak Garg, along with their co-authors Marco Vassena, Alejandro Russo and Deian Stefan, have won a Distinguished Paper Award at the 2019 ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).
Just as in 2018, MPI-SWS researchers again authored a total of five POPL papers in 2019.