Max Planck Institute for Software Systems (MPI-SWS)


Saarbrücken Location

Max Planck Institute for Software Systems
Campus E1.5
D-66123 Saarbrücken

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

Phone: +49 631 9303-0
Fax: +49 631 9303-6019



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.


Derek Dreyer
Foundations of Programming

Peter Druschel
Distributed Systems

Paul Francis
Privacy Issues Surrounding Online Tracking

Krishna Gummadi
Networked Systems

Rupak Majumdar
Rigorous Software Engineering

Joel Ouaknine
Foundations of Algorithm Verification