马克斯·普朗克软件系统研究所（MPI-SWS）是一所计算机科学研究机构，位于德国萨尔布吕肯和凯泽斯劳滕两地。它是马克斯·普朗克学会的一部分，该学会在全球运营着80多个研究所。MPI-SWS在复杂软件系统的设计、分析、建模、实现和评估相关的所有领域开展基础研究。其研究涵盖编程系统、分布式和网络系统、嵌入式与自主系统，以及形式化建模、安全性、可靠性和软件工程等跨领域方面。
MPI-SWS成立于2004年11月，现已发展至拥有五位所长、十二位终身教职或终身教职轨教师，以及约100名博士后和博士生，分布在两个地点。该研究所以其协作环境和在分布式系统及编程语言等领域的贡献而闻名。
研究重点
MPI-SWS强调连接理论与实践的基础研究。关键领域包括编程系统，研究人员在此开发新语言和工具；分布式系统，侧重于可扩展性和可靠性；以及嵌入式系统，解决资源受限环境的问题。该研究所还研究用于验证软件正确性的形式化方法，以及安全和隐私机制。近期工作日益与机器学习交叉，特别是在将学习技术应用于系统优化和验证方面。
地点与合作
MPI-SWS的一个基地位于萨尔兰信息学园区，毗邻萨尔兰大学。该园区设有多个研究机构，包括马克斯·普朗克信息学研究所（MPII），MPI-SWS与其共享核心IT和行政服务。第二个基地位于凯泽斯劳滕-兰道大学校园内，MPI-SWS与计算机科学系以及弗劳恩霍夫实验软件工程研究所和工业数学研究所合作。这些合作提供了丰富的跨学科研究环境。
研究生教育
国际马克斯·普朗克计算机科学研究学院（IMPRS-CS）在2000年至2019年间担任MPI-SWS和MPII的研究生院。它与萨尔兰大学合作提供全额资助的博士项目，由Gerhard Weikum担任发言人。其后继者是国际马克斯·普朗克可信计算研究学院，该学院与萨尔兰大学和凯泽斯劳滕工业大学合作，由Anja Feldmann领导。这个新学院专注于可靠和安全的软件系统，反映了研究所不断演变的优先事项。
师资与研究小组
MPI-SWS由多个由所长和教师领导的研究小组组成。所长包括Peter Druschel（分布式系统和操作系统）、Derek Dreyer（编程基础）、Paul Francis（大规模互联网系统）、Krishna Gummadi（网络系统）、Rupak Majumdar（严谨软件工程）和Joël Ouaknine（算法验证基础）。终身教职或终身教职轨教师包括Bjorn Brandenburg（实时系统）、Deepak Garg（计算机安全基础）、Manuel Gomez Rodriguez（网络中的学习）、Antoine Kaufmann、Adish Singla、Mariya Toneva、Viktor Vafeiadis（软件分析与验证）和Georg Zetzsche（计算模型）。他们的研究通常整合机器学习和人工智能以应对软件挑战。
影响与未来方向
MPI-SWS在模型检查、静态分析和网络协议等领域产出了有影响力的工作。其研究人员获得了众多奖项，包括顶级会议的最佳论文奖。该研究所积极与工业界和学术界合作，其校友遍布全球各地。随着软件系统日益复杂，MPI-SWS继续探索新前沿，包括用于系统设计的深度学习和基于AI组件的形式化验证。该研究所对基础研究的承诺确保了其对理论和实践的长期影响。