Research by MPI-SWS faculty member Elissa Redmiles---along with collaborators Allison McDonald (University of Michigan), Catherine Barwulor (Clemson University), Michelle Mazurek (University of Maryland), and Florian Schaub (University of Michigan)---has received a Distinguished Paper Award at the 2021 USENIX Security Symposium. The paper investigates threats to the digital safety of European sex…
Ralf Jung, Doktorand der Universität des Saarlandes und Forscher am Max-Planck-Institut für Softwaresysteme in Saarbrücken, hat einen maßgeblichen Beitrag zur Sicherheit der Programmiersprache ‚Rust‘ geleistet. Die neue und zunehmend beliebte Programmiersprache wird sowohl von kleinen Startups als auch von den größten Technologie-Konzernen der Welt für die Entwicklung von Betriebssystemen, Webbrowsern…
Arpan Gujarati's thesis, entitled Towards “Ultra-Reliable" CPS: Reliability Analysis of Distributed Real-Time Systems, has been recognized with the 2021 ACM SIGBED Paul Caspi Memorial Dissertation Award. The award, first given in 2013, recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded systems, in the…
Joël Ouaknine, along with his co-authors James Worrell and Florian Luca, has received a Distinguished Paper award at the 2021 ACM/IEEE 36th Annual Symposium on Logic in Computer Science (LICS 2021) for his paper Universal Skolem Sets. Distinguished Paper awards are given to about 10% of papers at LICS. These are papers that,…
Ralf Jung and Bilal Zafar have each been awarded a 2021 Otto Hahn Medal for outstanding scientific achievement. The Max Planck Society awards the Otto Hahn Medal annually to young scientists in recognition of outstanding scientific achievement. Ralf was awarded the medal for his work on the first formal foundations for the cutting-edge…
