Anne-Kathrin Schmuck has been appointed as new tenure-track faculty as of July 1st, 2023, after leading a prestigious externally funded Emmy-Noether research group hosted at MPI-SWS since 2020. Her group conducts fundamental research at the intersection of control engineering, cybernetics, and computer science to develop reliable and performant control software…
Cedric Courtaud and Björn Brandenburg have received the Best Paper award at the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2023) for their paper entitled "G(IP)2C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations".Originally published at:
Pramod Bhatotia, who completed his doctoral studies at MPI-SWS, has received the 2023 EuroSys Jochen Liedtke Young Researcher Award. The EuroSys Jochen Liedtke Young Researcher Award was created in 2014 by ACM EuroSys to reward junior European researchers who have demonstrated exceptional creativity and innovation in systems research, broadly construed.…
MPI-SWS faculty member Derek Dreyer and nine of his collaborators (including notably UdS/MPI alumnus Ralf Jung, as well as former MPI-SWS postdocs Jacques-Henri Jourdan and Aaron Turon and UdS/MPI student David Swasey) have received the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for their seminal work on the Iris framework for higher-order concurrent separation logic. This award has been given…
MPI-SWS faculty member Derek Dreyer and nine of his collaborators (including notably UdS/MPI alumnus Ralf Jung, as well as former MPI-SWS postdocs Jacques-Henri Jourdan and Aaron Turon and UdS/MPI student David Swasey) have received the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation for their seminal work on the Iris framework for higher-order concurrent separation logic, specifically the…
