Max Planck Institute for Software Systems (MPI-SWS)
Address:
Saarbrücken Location
Max Planck Institute for Software Systems
Campus E1.5
D-66123 Saarbrücken
Germany
Phone: +49 681 9303-9100
Fax: +49 681 9303-6029
Kaiserslautern Location
Max Planck Institute for Software Systems
Paul-Ehrlich-Straße 26
D-67663 Kaiserslautern
Germany
Phone: +49 631 9303-0
Fax: +49 631 9303-6019
Email: info@mpi-sws.org
Web: http://www.mpi-sws.org
About
Computer systems permeate our daily life. 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. The Max Planck Institute for Software Systems, located in Kaiserslautern and Saarbrücken, studies the principles of efficient, dependable, secure, and usable computing systems, as well as their interaction with the physical and social context in which they operate. Areas of particular interest include dependable software, social computing, and practical privacy. The Institute conducts foundational research in relevant areas of computer science and beyond, covering theory, empirical analysis, and data-driven investigation.
Website
Directors
Derek Dreyer
Foundations of Programming
Peter Druschel
Distributed Systems
Krishna Gummadi
Social Computing
Rupak Majumdar
Rigorous Software Engineering
Joel Ouaknine
Foundations of Algorithmic Verification