Filip Niksic's thesis on "Combinatorial Constructions for Effective Testing" has won the John C. Reynolds Doctoral Dissertation Award for 2020. This is an annual award given by ACM SIGPLAN for a doctoral dissertation in the field of programming languages. Filip was advised by MPI-SWS faculty member Rupak Majumdar. The award citation reads as follows: Soundness…
The third Salomaa prize has been awarded to MPI-SWS director Joël Ouaknine and James Worrell (Professor of Computer Science at Oxford University), for their outstanding contribution to Theoretical Computer Science, in particular to the theory of timed automata and to the analysis of dynamical systems. The Salomaa prize in Automata…
MPI-SWS researchers Arpan Gujarati, Safya Alzayat, Wei Hao, Antoine Kaufmann, and Jonathan Mace, along with Reza Karimi and Ymir Vigfusson from Emory University, have received the OSDI Distinguished Artifact Award for their paper, Serving DNNs like Clockwork: Performance Predictability from the Bottom Up.
Ever since the birth of Artificial Intelligence (AI) at the Dartmouth workshop in 1956, researchers have debated about the exact role that AI will play, and should play, in society. While some have envisioned a romanticized version of AI, incorporated into the narratives of 20th century movies, successful AI developments…
MPI-SWS faculty member Joël Ouaknine has been elected a member of the Academia Europaea in 2020. This is the second election for MPI-SWS, following the election of Peter Druschel as a member in 2008. The aim of the Academy is to promote European research, advise governments and international organisations in…
