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.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (2)

Statements (45)

Predicate Object
instanceOf Max Planck Institute
research institute
abbreviation MPI-SWS NERFINISHED
academicDiscipline software engineering
systems research
theoretical computer science
city Kaiserslautern NERFINISHED
Saarbrücken NERFINISHED
collaboratesWith Saarland University NERFINISHED
University of Kaiserslautern-Landau NERFINISHED
country Germany NERFINISHED
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 NERFINISHED
hasCampus Kaiserslautern NERFINISHED
Saarbrücken NERFINISHED
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 NERFINISHED
partOf Max Planck Society NERFINISHED
state Rhineland-Palatinate NERFINISHED
Saarland NERFINISHED
website https://www.mpi-sws.org/

Referenced by (3)

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 Institute for Software Systems
this entity surface form: Max-Planck-Institut für Softwaresysteme