Max Planck Institute for Software Systems

E538649
Max Planck Institute research institute

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)

Label Occurrences
Max Planck Institute for Software Systems canonical 2
Max-Planck-Institut für Softwaresysteme 1

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