“Computer systems permeate
every aspect of human endeavor”
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, and concurrency.
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.
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.
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.
Viktor Vafeiadis joins the MPI-SWS faculty
Robert Harper appointed as an external scientific member
Andreas Haeberlen receives Otto Hahn Medal
Career opportunities:
New buildings:
Lectures:
Computing research organizations in the surrounding area:
© Copyright by Max Planck Institute for Software Systems 2005. All rights reserved. Legal notice and Imprint
