Institute for System Programming, Forschungsinstitut in der Alexander-Solschenizyn-Straße, Moskau, Russland.
Das Institut für Systemprogrammierung ist ein Forschungszentrum der Russischen Akademie der Wissenschaften in Moskau, das sich auf Compiler-Technologien, Betriebssysteme, paralleles Rechnen und Softwareverifikation konzentriert. Die Einrichtung beschäftigt sich mit grundlegenden Herausforderungen der modernen Informatik und arbeitet an praktischen Lösungen für komplexe Softwareprobleme.
Das Institut wurde 1994 aus Abteilungen des ehemaligen Instituts für Kybernetik-Probleme gegründet und spezialisierte sich schnell auf Systemsoftware. Seine Entwicklung folgte den technologischen Fortschritten in der Informatik während der 1990er Jahre und darüber hinaus.
Die Forschungsteams betreuen Open-Source-Projekte auf GitHub, darunter Werkzeuge für Absturzberichte und Dokumentenanalyse.
Der Zugang zum Institut ist normalerweise auf Fachbesucher oder vorher arrangierte Besuche beschränkt, da es sich um eine Forschungseinrichtung handelt. Besucher sollten sich im Voraus an die Institution wenden, um die Bedingungen für einen Besuch zu klären.
Das Institut betreibt ein spezialisiertes Verifikationszentrum, das sich auf die Verbesserung der Zuverlässigkeit der Linux-Plattform durch umfangreiche Tests konzentriert. Diese Arbeit hat Auswirkungen auf Millionen von Geräten weltweit, obwohl sie in der Öffentlichkeit wenig bekannt ist.
Die Community neugieriger Reisender
AroundUs vereint tausende ausgewählte Orte, lokale Tipps und versteckte Schätze, täglich bereichert von über 60,000 Mitwirkenden weltweit.
