MPI-SWS faculty member Deepak Garg, along with his external collaborators Carmine Abate, Roberto Blanco, Catalin Hritcu, Marco Patrignani and Jérémy Thibault, has been awarded a Distinguished Paper Award at the 2019 IEEE Computer Security Foundations Symposium (CSF 2019). Their paper is titled "Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation".
Keon Jang has joined the institute as a tenure-track faculty member, effective February 1, 2019. Keon Jang is joining us from Google, where he has been a software engineer since 2016. He is broadly interested in network systems and currently his work focuses on network performance isolation in data-center networks.…
Krishna Gummadi has accepted the position of scientific member of the Max Planck Society and director at the MPI for Software Systems, effective 1 June 2019. Krishna has been a faculty member at the institute since July 2005. Krishna's appointment solidifies our institute's foothold in the emerging area of social computing and secures Krishna's leadership and…
Damien Zufferey and Daniel Neider are co-teaching Advanced Automata Theory at the University of Kaiserslautern in the Summer 2019 semester.
Consider the everyday websites and apps that we use: online shops, news websites, search engines, social networks, navigation apps, instant messaging apps, and many more. Most of these programs don't just run in isolation on our laptops or phones, but instead connect over the internet to backends and databases running in…
