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…
MPI-SWS participated jointly with the MPI for Informatics in the annual Girls' Day event on April 22, 2021. Our interactive digital program included programming robots and integrating machine learning models into dialog systems, as well as answering questions about computer science and the work as a computer scientist.Originally published at:
