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.

Biologists use modern high-density microarrays to measure the genome-wide expression of exons, the essential parts of alternatively spliced genes. In particular, exons of many genes encode protein variants involved with important cellular processes. While the measured differences between the variants are often quite small, their distinct biological effects can be profound. Protein variants from the same gene might even have opposing functional consequences. Therefore, scientists from the Max Planck [...]

Andreas Haeberlen has been awarded the 2009 Otto Hahn Medal for outstanding scientific achievement. The medal, and its accompanying monetary prize, will be presented to Andreas at the Max Planck society’s annual General Assembly in Hannover on June 16. Andreas’s medal was awarded for „pioneering work on accountability in distributed computer systems, in particular for the design, implementation and demonstration of practical techniques for the reliable and tamper-proof detection [...]

Robert Harper has been appointed as the institute’s first external scientific member. Dr. Harper is a Professor of Computer Science at Carnegie Mellon University, where he conducts research on programming language design and implementation. Bob will be visiting the institute in Summer 2010.

Am 3. Februar hat das „Indo German Max Planck Center für Computer Science“ in Delhi seine Arbeit begonnen. Das neue Max Planck Center wird die Zusammenarbeit mit Indien im Bereich Computerwissenschaften weiter ausbauen. „Ziel ist es ein Exzellenz-Zentrum zu schaffen, in dem nicht nur Top-Forschung betrieben wird, sondern auch jungen Wissenschaftlern Karrierechancen in Indien eröffnet werden“, sagt Peter Gruss, Präsident der Max-Planck-Gesellschaft. Gleichzeitig sollen herausragende [...]

Umut Acar joins the institute’s faculty, starting in January 2010. Umut’s research interests are in language and algorithm design and implementation, particularly for dynamic systems that interact with changing data from various sources, such as users and the physical environment.

In the spring of 2009, MPI-SWS graduated its first four PhD students—Andreas Haeberlen, Alan Mislove, Animesh Nandi, and Atul Singh. All four students have landed competitive academic or research positions in a very tight job market.

MPI-SWS fellow Michael Backes has been honored as a recipient of the ERC Starting Grant 2009. Michael was also recently selected by the editors of Technology Review as one of the 35 young innovators under the age of 35 whose work they found most exciting.

Architekten und Landschaftsplaner arbeiten heute nur noch selten am klassischen Zeichenbrett. Vor allem bei Renovierungen erfassen sie zunächst die bestehende Bausubstanz mit einem 3D Scanner und verändern diese dann am Computer. Was bei der Planung kleiner Objekte noch problemlos funktioniert, kann bei größeren Projekten schnell scheitern. Die mit dem Scanner erfassten Daten sind dann so groß, dass sie von gängigen Computern nicht mehr dargestellt oder bearbeitet werden können. Der Architekt [...]

Um angemessen und effektiv auf die aktuelle Grippewelle reagieren zu können, müssen Forscher zunächst die Beschaffenheit des auslösenden Grippe-Virus analysieren und mit den Genomen anderer kursierender Viren vergleichen. Das Max-Planck-Institut für Informatik stellt im Zuge der GISAID Initiative (Global Initiative on Sharing All Influenza Data) relevante Sequenzdaten von Grippe-Viren in einem öffentlich zugänglichen Internetportal kostenfrei zur Verfügung. Seit Ausbruch der Grippewelle gibt es einen starken Bedarf an Registrierungen in diesem Portal.