Computer systems permeate every aspect of human endeavor. Beyond the most visible examples of desktop computing and the Internet, sophisticated computer systems are hidden inside every modern vehicle and appliance. They support the operation of our financial, medical, educational and administrative institutions, they facilitate science, manufacturing, transportation and trade, and they enable new forms of entertainment and social exchange. However, our ability to transform computing innovations into practical use is limited by our ability to design and implement increasingly powerful, complex software systems that are dependable and ensure the safety and privacy of their users.
The Max Planck Institute for Software Systems is chartered to conduct world-class basic research in all areas related to the design, analysis, modeling, implementation and evaluation of complex software systems. Particular areas of interest include programming systems, distributed and networked systems, embedded and autonomous systems, as well as crosscutting aspects like formal modeling and analysis of software systems, privacy, security, and dependability. We strive to perform cutting-edge, high-risk basic research and seek impact through publication, software distribution, international cooperation and people.