Institute for System Programming, Інститут системного програмування є науковою установою Російської академії наук у Москві, Росія.
Інститут системного програмування є науковою установою Російської академії наук у Москві, яка займається розробкою компіляторів, операційних систем, паралельних обчислень та верифікації програмного забезпечення. Організація вирішує фундаментальні проблеми інформатики та розробляє практичні рішення для складних завдань програмування.
Ця установа була заснована в 1994 році з відділів, які раніше належали Інституту проблем кібернетики, і швидко зосередилася на дослідженні системного програмного забезпечення. Її зростання відображало технологічний прогрес у галузі обчислювальної техніки протягом 1990-х років і наступних десятиліть.
Дослідницькі групи інституту підтримують кілька проектів з відкритим вихідним кодом на GitHub, включаючи інструменти для звітування про збої, веб-скрейпінгу та обробки документів.
Доступ до установи зазвичай обмежений для професійних відвідувачів або попередньо узгоджених візитів, оскільки вона функціонує як наукова установа. Ті, хто зацікавлений у відвідуванні, повинні заздалегідь зв'язатися з організацією, щоб підтвердити умови доступу.
Установа керує спеціалізованим центром, зосередженим на підвищенні надійності платформи Linux через комплексну роботу з тестування. Ця робота стосується систем, якими користуються мільйони людей у всьому світі, хоча мало хто знає про цей внесок.
Спільнота допитливих мандрівників
AroundUs об'єднує тисячі дібраних місць, місцеві поради та приховані перлини, які щодня поповнюють 60,000 учасників по всьому світу.