News Archiv

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.