News 2007

Three new faculty to join MPI-SWS

August 2007
We are pleased to announce that three new faculty will join MPI-SWS.

Rodrigo Rodrigues will lead a research group on Dependable Systems. He obtained his Ph.D. from the Massachusetts Institute of Technology and joins us from the Instituto Superior Tecnico in Lisbon.

Derek Dreyer will lead a research group on Type Systems and Functional Programming. He obtained his Ph.D. from Carnegie Mellon University and joins us from the Toyota Technological Institute at Chicago. Andrey Rybalchenko will lead a research group on Verification Systems. He previously held a post-doctoral position with Tom Henzinger at EPFL. He is the winner of the Otto-Hahn-Medal of the Max Planck Society.

Michael Backes appointed as a Max Planck Fellow

June 2007
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 small research group on Information Security and Cryptography at the institute.