News Archiv

Rupak Majumdar joins the institute’s faculty as a scientific director. Rupak’s research interests are in computer-aided verification and control of reactive, real-time, hybrid, and probabilistic systems; software verification and programming languages; and logic and automata theory.

Viktor Vafeiadis joins the institute’s faculty, starting in October 2010. Viktor’s research interests are in software analysis and verification, programming languages, programming logics, [...]

A study by MPI-SWS researchers Saikat Guha (now at Microsoft Research), Bin Cheng, and Paul Francis has been highlighted on CNN, NPR, The Washington Post, and [...]

Johannes Gehrke, a professor at Cornell University, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award will provide support for him to spend eight months in Germany, working with Peter Druschel and other MPI-SWS researchers on data-intensive distributed systems that make up the software infrastructure inside such large Web companies as Amazon, Yahoo! and Google.

Ab dem 01.10.2010 bezieht die neueste Arbeitsgruppe des MPI für Informatik ihre Räumlichkeiten in Saarbrücken und beendet damit die Umzugsphase von Darmstadt nach Saarbrücken. Mit Beitritt der neuen Arbeitsgruppe unter der Leitung von Prof. Dr. Bernt Schiele erreicht das MPII nun seine planmäßige Ausbaugröße. Schieles wissenschaftliche Team forscht an aktuellen Themen der Computer-Vision und befasst sich mit der Verarbeitung multisensorischer Informationen.