Max Planck Institute for Software Systems

E538649

The Max Planck Institute for Software Systems is a leading German research institute focused on foundational and practical aspects of software systems, including programming languages, distributed systems, security, and formal methods.

All labels observed (2)

How this entity was disambiguated

Statements (45)

Predicate Object
instanceOf Max Planck Institute
research institute
abbreviation MPI-SWS
academicDiscipline software engineering
systems research
theoretical computer science
city Kaiserslautern
Saarbrücken
collaboratesWith Saarland University
University of Kaiserslautern-Landau
country Germany
employs computer scientists
doctoral researchers
postdoctoral researchers
fieldOfWork computer science
computer security
distributed systems
formal methods
programming languages
software systems
focusesOn foundations of software systems
practical aspects of software systems
foundedBy Max Planck Society
hasCampus Kaiserslautern
Saarbrücken
hasResearchArea automated reasoning
concurrency
machine learning for systems
networked systems
operating systems
privacy
security protocols
software analysis
software verification
inception 2004
languageOfWorkOrName English
German
locatedIn Germany
offers PhD positions
postdoctoral positions
operatedBy Max Planck Society
partOf Max Planck Society
state Rhineland-Palatinate
Saarland
website https://www.mpi-sws.org/

How these facts were elicited

Referenced by (5)

Full triples — surface form annotated when it differs from this entity's canonical label.

Max Planck Institute for Informatics collaboratesWith Max Planck Institute for Software Systems
Saarbrücken hasInstitution Max Planck Institute for Software Systems
Universität des Saarlandes hasCooperation Max-Planck-Institut für Softwaresysteme
linked to: Max Planck Institute for Software Systems
Saarland Informatics Campus hosts Max Planck Institute for Software Systems
Saarland Informatics Campus hasResearchInstitutes Max Planck Institute for Software Systems