Max Planck Institute for Software Systems, Kaiserslautern site
Computer systems permeate our daily life. In addition to conventional desktop computing and Internet applications, sophisticated software systems can be found in almost all technical devices, from mobile phones to traffic lights. They support the operations of banks, hospitals, universities and public authorities, to name just a few. The Max Planck Institute for Software Systems, located in Kaiserslauten and Saarbrücken, carries out basic research that is dedicated to language design, analysis, modelling, implementation and evaluation of software systems, among other applications. Particular areas of interest include programming systems, the comparison of distributed and networked systems and of embedded and autonomous systems, as well as aspects of the formal modelling, analysis, security and stability of cutting-edge software engineering.
Phone: +49 631 9303-0
Fax: +49 631 9303-6019
This institute has an International Max Planck Research School (IMPRS):IMPRS on Trustworthy Computing
In addition, there is the possibility of individual doctoral research. Please contact the directors or research group leaders at the Institute.