News Archiv

Bild der Pressemitteilung
Michael Backes appointed as a Max Planck Fellow

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…

Bild der Pressemitteilung
Designs selected for MPI-SWS buildings

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…

Bild der Pressemitteilung
Krishna Gummadi joins MPI-SWS faculty

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…

Bild der Pressemitteilung
Ashutosh Gupta and Andrey Rybalchenko win ETAPS best paper award

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…

Bild der Pressemitteilung
MPI-SWS and MPI-INF form joint administration

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.

1 ...