“Computer systems permeate
every aspect of human endeavor”


The Max Planck Institute for Software Systems conducts high-risk, high-impact research in all areas related to the design, analysis, modeling, implementation and evaluation of complex software systems.

It is one of eighty institutes run by the Max Planck Society, which is world-renowned for its basic research in medicine, biology, chemistry, physics, technology and the humanities.

 

News Spotlights



  •  

    Announcing the Maryland Max Planck Ph.D. Program in Computer Science
    April 2016

     title=
    We are pleased to announce the formation of The Maryland Max Planck Ph.D. Program in Computer Science. This program offers students a unique opportunity to pursue a Ph.D. degree under the supervision of faculty from the University of Maryland, USA, and a Max Planck Institute in Germany. Students are co-advised, perform collaborative research, take advantage of the expertise, resources, and culture at both institutions, and spend time in both countries.

  •  

    Derek Dreyer awarded ERC Consolidator Grant
    April 2016

     title=
    Derek Dreyer, head of the MPI-SWS Foundations of Programming group, has been awarded an ERC Consolidator Grant. Over the next five years, his project "RustBelt: Logical Foundations for the Future of Safe Systems Programming" will receive almost 2 million euros, which will allow the group to develop rigorous formal foundations for the Rust programming language.

    More
  •  

    Joel Ouaknine joins the MPI-SWS faculty
    March 2016

     title=
    Joel Ouaknine joins the institute's faculty as a scientific director, effective Aug 1, 2016. Joel's research interests include the automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity), logic and applications to verification, decision and synthesis problems for linear dynamical systems, automated software analysis, concurrency, and theoretical computer science.

    More
  •  

    Visiting professor Patrick Loiseau wins Humboldt award
    March 2015

    Patrick Loiseau, an Assistant Professor in the Data Science department at EURECOM, has been selected for a prestigious Humboldt Research Award from the Alexander von Humboldt Foundation. This award provides support for him to spend up to a year at the institute, where he will work with Krishna Gummadi and other MPI-SWS researchers on security and privacy issues in social computing systems.

  •  

    Sadegh Soudjani wins DIC Best PhD-Thesis Award
    March 2015

    MPI-SWS postdoctoral fellow Sadegh Soudjani has been awarded the DISC Best PhD-Thesis Award for the best PhD thesis defended in 2014 in the Netherlands in the area of systems and control. Dr. Soudjani received the award for the excellent quality of his PhD Thesis "Formal Abstraction for Automated Verification and Synthesis of Stochastic Systems" for which he obtained the doctoral degree at Delft University of Technology in November.

  •  

    Isabel Valera and Rijurekha Sen win Humboldt fellowship
    March 2015

    MPI-SWS postdoctoral fellows Isabel Valera and Rijurekha Sen have each won a two-year Humboldt postdoctoral fellowship. The fellowship enables highly-qualified scientists from abroad to spend extended periods of research in Germany. Dr. Valera recently joined the newly created Learning in Networks research group and Dr. Sen collaborates with both the MPI-SWS Distributed Systems and Social Computing research groups.

  •  

    Rijurekha Sen wins ACM-India Doctoral Dissertation Award
    February 2015

    MPI-SWS postdoctoral fellow Rijurekha won the 2014 Best Doctoral Dissertation Award by ACM-India for her thesis titled "Different Sensing Modalities for Traffic Monitoring in Developing Regions" Dr. Sen recently joined the MPI-SWS Distributed Systems and Social Computing research groups.

More News

Career opportunities:

New buildings:

Video and Pictures


Lectures:

Institute Colloquium

Distinguished Lecture Series

Student Defense Talks

Joint MPI-INF/MPI-SWS Lecture Series



Computing research organizations in the surrounding area:

List of all organizations




      © Copyright by Max Planck Institute for Software Systems 2005. All rights reserved. Legal notice and Imprint & Data Protection.