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…
MPI-SWS researchers Rupak Majumdar, Ramanathan S. Thinniyam, and Georg Zetzsche have received the EAPLS Best Paper Award for their TACAS 2021 paper: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond. In addition, a TACAS 2021 paper by Rosa Abbasi and Eva Darulova (along with their collaborators Jonas Schiffl, Mattias Ulbrich, and…
