Michael Backes, Professor at Saarland University, is appointed as a Max Planck Fellow at the MPI for Software Systems for five years. The new Max Planck Fellow program aims to strengthen the cooperation between Max Planck institutes and universities. In addition to his duties at the University, Michael will head…
A jury chaired by renowned architect Prof. Gunther Henn evaluates fifteen drafts submitted as part of an architecture competition for the design of the institute's new buildings in Kaiserlautern and Saarbruecken. First prize is awarded to a design by the firm of Weinbrenner and Single in Nuertingen. The designs reflect…
Krishna Gummadi, Ph.D., accepts a position on the faculty of the MPI for Software Systems as an independent researcher. This position is comparable to a tenure-track Assitant Professor position at a U.S. University. Krishna hold a B.Tech. degree from IIT Madras, and the M.S. and Ph.D. degrees from the University…
MPI-SWS PhD student Ashutosh Gupta and and faculty Andrey Rybalchenko, along with Rupak Majumdar (UCLA), have received the EAPLS best paper award for their TACAS'09 paper "From Tests to Proofs." The EAPLS award goes to the best contribution in the area of programming languages among CC, ESOP, and TACAS—three member…
The MPIs for Software Systems in Kaiserslautern and Saarbruecken and the MPI for Informatics in Saarbruecken agree to form a joint administrative unit, headed by Volker Geiss with staff in both the Kasierslautern and the Saarbruecken locations. Volker currently heads the administrative unit of the MPI for Informatics.
