Max Planck Institute for Software Systems

What Max Planck Institute for Software Systems does

The Max Planck Institute for Software Systems (MPI-SWS) is a non-profit basic research institute founded in 2004 and part of the Max Planck Society (Max-Planck-Gesellschaft), Germany's premier research umbrella organization comprising over 80 institutes. Headquartered in Saarbrücken with additional locations in Kaiserslautern and Bochum, MPI-SWS conducts foundational research in computer science across five areas: AI, Computing and Society; Algorithms, Theory & Logic; Computer Systems; Cyber-Physical Systems; and Programming Languages & Verification. The institute serves the global academic research community, prospective and current doctoral students, and collaborates with affiliated universities including Cornell, University of Maryland, Saarland University, and RPTU.

MPI-SWS produces open-source research artifacts that have become foundational infrastructure for the verification community, including the Iris framework (a unifying higher-order concurrent separation logic mechanized in the Rocq/Coq prover), RustBelt (the first formal machine-checked foundation for Rust safety), the Verus verification tool for Rust, the Quiver guided inference tool, and SIMBricks for datacenter network simulation. The institute does not commercialize products; all research outputs are released as publications, open-source software, and trained researchers (PhD graduates, postdocs).

The institute's revenue model is institutional and grant-based: core funding comes from the Max Planck Society, supplemented by highly competitive European Research Council (ERC) grants — Advanced, Synergy, Consolidator, and Starting — as well as Horizon Europe programme funding. Documented recent ERC grants total approximately €18M, plus a €13M Horizon Europe Teaming for Excellence award. MPI-SWS has no commercial pricing, no enterprise customers, and no shareholders; its "customers" are effectively funding bodies (ERC, EU), the academic research community, and graduate-student talent.

Name

Max Planck Institute for Software Systems

Legal name

Max Planck Institute for Software Systems

Website

https://mpi-sws.org

Company type

Private

Founded year

2004

Operating status

Operating

Headcount range

11–50 employees

Ownership category

akta.pro rank

Headquarters

HQ city

Saarbrücken

HQ country

Germany

HQ region

Europe

Offices3 records

Markets served

GTM type

B2B

Offering type

Services

Cost components

Personnel, Technology or R&D, Operations

Revenue model

1. Government Research Funding: The institute is publicly funded primarily through the Max Planck Society and receives substantial competitive European Research Council (ERC) grants for specific research projects. Revenue is derived from institutional funding combined with third-party competitive grants.

Distribution channels3 records

Marketing channels5 records

Core offering

Max Planck Institute for Software Systems (MPI-SWS) conducts foundational, high-risk, and high-impact research in computer science across five research areas: AI, Computing and Society; Algorithms, Theory & Logic; Computer Systems; Cyber-Physical Systems; and Programming Languages & Verification. It produces research publications, trained doctoral researchers, and open-source verification tools and frameworks (such as Verus, Iris, and RustBelt) that are disseminated to the global academic community.

Product overview

MPI-SWS is a fundamental computer science research institute that does not offer commercial products. Its research outputs include open-source verification tools and frameworks developed by faculty and students. The primary offerings are the Verus verification tool for Rust code, the Iris framework for concurrent separation logic verification (mechanized in Coq), and the RustBelt project providing formal foundations for Rust safety verification. These are open-source academic artifacts rather than commercial products.

Differentiator

Problem solved

Functional benefit

Products and services

• Verus Open-source tool for verifying the correctness of code written in Rust. Developers write specifications of intended behavior and Verus statically checks that the executable Rust code always satisfies the specifications for all possible executions.
• Iris Framework Unifying framework for higher-order concurrent separation logic mechanized in the Coq proof assistant, providing monoids and invariants as an orthogonal basis for concurrent reasoning, widely adopted for program verification and programming language meta-theory.
• RustBelt First formal, machine-checked foundation for verifying the safety of the Rust programming language, built on top of the Iris framework.
• Quiver Verification Tool Guided abductive inference tool for inferring functional correctness specifications in separation logic, mechanized in the Coq proof assistant.
• Tree Borrows Semantic foundation for Rust's ownership and borrowing model, addressing memory safety verification in the Rust type system.
• SIMBricks End-to-end simulation framework enabling modular composition of best-of-breed simulators for datacenter network evaluation.
• Cornell, Maryland, Max Planck Pre-doctoral Research School (CMMRS) Annual week-long research school for outstanding undergraduate and master's students worldwide, providing hands-on exposure to computer science research and networking with leading scientists from MPI-SWS, Cornell, and University of Maryland.
• CIS@Max Planck Graduate Program Joint graduate studies program of MPI-SWS, MPI-INF, and MPI-SP, offering doctoral research training in computer science and software systems.
• Maryland-Max Planck PhD Program Joint PhD program with the University of Maryland that allows doctoral students to conduct part of their research at a top US university.

Quantifiable outcome

• 9+ consecutive years publishing 5+ papers at POPL (record-setting 26 papers by Derek Dreyer at POPL alone)
• +4 more outcomes

Segments3 records

Ideal customer profiles4 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Feature9 records

Partnerships

Twelve partnerships are on record, tiered flagship and core.

• INESC-ID (Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa)flagshipStrategic or Co-development Partner · 24 April 2026MPI-SWS researchers, together with DFKI in Kaiserslautern and researchers at INESC-ID in Lisbon, have been funded under the competitive Horizon Europe 'Teaming for Excellence' programme for a Sustainable Artificial Intelligence Laboratory (SAIL). The project will receive €13 million from the EU over 6 years. SAIL aims to become a world-class Centre of Excellence dedicated to developing state-of-the-art, sustainable, and trustworthy AI, tackling grand challenges in AI such as explainability, reasoning, and out-of-distribution performance.
• DFKI Kaiserslautern (German Research Center for Artificial Intelligence)flagshipStrategic or Co-development Partner · 24 April 2026DFKI in Kaiserslautern is a key partner in the Horizon Europe 'Teaming for Excellence' SAIL project alongside MPI-SWS and INESC-ID. The collaborative project focuses on developing sustainable and trustworthy AI with funding of €13 million over 6 years from the European Union.
• CNRS (Centre National de la Recherche Scientifique), FranceflagshipStrategic or Co-development Partner · 1 November 2024Researchers at MPI-SWS in Saarbrücken and CNRS are collaborating on the ERC Synergy Grant project 'DynAMiCs' (Dynamical and Arithmetical Model Checking) totaling €7.5 million (€5M to MPI-SWS) over six years. The project combines algorithmic verification (led by Joël Ouaknine), symbolic dynamics (Prof. Valérie Berthé), and analytic number theory (Prof. Florian Luca) to address longstanding mathematical challenges including the Skolem Problem.
• Stellenbosch University, South AfricacoreStrategic or Co-development Partner · 1 December 2022Professor Florian Luca, affiliated with both MPI-SWS and Stellenbosch University in South Africa, serves as co-PI on the DynAMiCs ERC Synergy Grant project.
• Max Planck Institute for Informatics (MPI-INF)coreStrategic or Co-development PartnerMPI-SWS collaborates closely with MPI-INF on joint research events, shared graduate programs through the CIS@Max Planck system, and co-authored publications at conferences including LICS and ICALP. The two institutes co-host events such as the MPI-SWS Research Symposium.
• Max Planck Institute for Security and Privacy (MPI-SP)coreStrategic or Co-development PartnerMPI-SWS and MPI-SP collaborate on joint research, shared graduate programs through the CIS@Max Planck system, and co-authored publications at conferences including POPL. The institutes also co-host research events and share the Saarland Informatics Campus infrastructure.
• Cornell UniversitycoreStrategic or Co-development PartnerCornell University is a founding partner of the Cornell, Maryland, Max Planck Pre-doctoral Research School (CMMRS), an annual week-long research school for outstanding undergraduate and master's students in computer science. Faculty from Cornell participate as lecturers and mentors.
• University of MarylandcoreStrategic or Co-development PartnerUniversity of Maryland is a founding partner of the Cornell, Maryland, Max Planck Pre-doctoral Research School (CMMRS). The university also partners with MPI-SWS on the Maryland-Max Planck PhD Program, allowing doctoral students to conduct part of their research at a top US university.
• RPTU (Rheinland-Palatinate Technical University) Kaiserslautern-LandaucoreStrategic or Co-development PartnerMPI-SWS Scientific Directors Rupak Majumdar and Joël Ouaknine hold honorary professorships at RPTU. The institute maintains a campus location in Kaiserslautern alongside RPTU. Graduate programs are jointly operated with partner universities including RPTU. The SAIL project also involves RPTU for the Dual PhD programme in AI.
• Saarland UniversitycoreStrategic or Co-development PartnerMPI-SWS is embedded in the Saarland Informatics Campus alongside Saarland University. Many MPI-SWS doctoral students earn their degrees from Saarland University. Joint research projects include the study on human and LLM reactions to confusing code conducted by Saarland University and MPI-SWS researchers.
• Instituto Superior Técnico, PortugalcoreStrategic or Co-development PartnerInstituto Superior Técnico in Lisbon is a partner in the SAIL (Sustainable Artificial Intelligence Laboratory) project, collaborating on the world-class Dual PhD programme in AI jointly awarded by Instituto Superior Técnico and RPTU Germany.
• Max Planck School of Biomedical Artificial IntelligencecoreStrategic or Co-development PartnerMPI-SWS has become a partner of the Max Planck School of Biomedical AI, a new graduate school developing advanced AI methods for basic life sciences research. Krishna Gummadi, head of the Networked Systems research group, has been named a fellow of the school. The school unites researchers from 24 institutions including 14 Max Planck Institutes.

Scale indicators15 records

Recent moves6 records

Expansion highlights6 records

Broad incumbents

• MIT CSAIL: Premier US computer science research laboratory with deep programming languages, formal methods, systems, and AI groups. Comparable in producing foundational PL/verification research that alumni carry into faculty positions and industry.
• Microsoft Research: Large industrial research lab with strong groups in programming languages, formal verification, distributed systems, and AI. Publishes heavily at POPL/PLDI/ICFP and develops widely-used tools (e.g., Dafny, Z3) that overlap with MPI-SWS verification stack.
• ETH Zürich Department of Computer Science: Leading European CS department with major programming languages, verification, and systems groups; frequent destination for MPI-SWS alumni faculty placements. Comparable in producing foundational PL research and training elite doctoral students.
• Carnegie Mellon School of Computer Science: Top US CS department with renowned programming languages, formal methods, and systems groups. Highly comparable as a foundational CS research and graduate-training institution that produces widely-adopted verification and systems tools.
• UC Berkeley EECS: Top US CS/EE department with major PL, formal methods, systems, and AI research groups. Comparable as a producer of foundational CS publications, open-source artifacts, and elite doctoral graduates who go on to leading academic and industry positions.
• Stanford Computer Science: Elite US CS department with strong groups in formal methods, programming languages, distributed systems, and AI. Comparable to MPI-SWS in producing foundational research and tools while training a disproportionate share of CS faculty worldwide.

Direct peers

• INRIA (French National Institute for Research in Digital Science and Technology): France's flagship public computer science research institute with analogous non-commercial, fundamental-research mandate. Direct peer as a publicly funded European CS research organization producing foundational results and open-source tools.
• Institute of Science and Technology Austria (ISTA): Basic research institute with a Computer Science faculty covering verification, logic, and systems. Functions on a similar non-commercial, grant-funded model and is a known faculty destination for MPI-SWS alumni.
• Max Planck Institute for Informatics (MPI-INF): Sister Max Planck Institute also located on the Saarland Informatics Campus, jointly running the CIS@Max Planck graduate system and co-authoring at PL/LICS conferences. Direct institutional peer in foundational CS research with shared students and infrastructure.

Regional players

• CISPA Helmholtz Center for Information Security: Large German publicly-funded security and privacy research center, co-located with the broader German research ecosystem. Regional peer collaborating with MPI-SWS via shared Saarland campus activities and Max Planck network.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat5 records

Key risks5 records

Key highlights7 records

Customer concentration

• LinkedInlinkedin.com/company/max-planck-institute-for-software-systems
• Xx.com/skilpat

Revenue estimate

Valuation estimate

Number of profiles

Profiles10 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Max Planck Institute for Software Systems