News Archiv

Derek Dreyer, head of the MPI-SWS Foundations of Programming group, has been awarded an ERC Consolidator Grant. Over the next five years, his project „RustBelt: Logical Foundations for the Future of Safe Systems Programming“ will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for the Rust programming language.

We are pleased to announce the formation of The Maryland Max Planck Ph.D. Program in Computer Science. This program offers students a unique opportunity to pursue a Ph.D. degree under the supervision of faculty from the University of Maryland, USA, and a Max Planck Institute in Germany. Students are co-advised, perform collaborative research, take advantage of the expertise, resources, and culture at both institutions, and spend time in both countries.

Patrick Loiseau, an Assistant Professor in the Data Science department at EURECOM, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Krishna Gummadi and other MPI-SWS researchers on security and privacy issues in social computing systems.

Joel Ouaknine joins the institute’s faculty as a scientific director, effective Aug 1, 2016. Joel’s research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.