Institute for System Programming, Research institute at Alexander Solzhenitsyn Street, Moscow, Russia.
The Institute for System Programming conducts extensive research in compiler technologies, operating systems, parallel computing, and software verification at its Moscow facility.
The Institute originated from departments of System Programming and Numerical Software of the Institute for Cybernetics Problems, establishing itself in January 1994.
Research teams at the institute maintain multiple open-source projects on GitHub, including tools for crash reporting, web scraping, and document parsing.
The facility publishes research findings through two regular publications: Proceedings of ISP RAS and Programming and Computer Software journals.
The institute operates a specialized Verification Center dedicated to enhancing Linux platform reliability through testing and verification technologies.
Location: Moscow
Inception: 1994
Website: http://ispras.ru/en
GPS coordinates: 55.74500,37.66450
Latest update: March 13, 2025 22:37
Church of Saint Alexius of Moscow in Rogozhskaya Sloboda
186 m
Усадьба Морозова на улице Александра Солженицына
34 m
Городская усадьба И. Л. Силкина
157 m
Главный дом (Таганский)
68 m
Главный дом городской усадьбы Кононовых (Таганский)
120 m
Городская усадьба (Таганский)
103 m
Рогожская полицейская часть (Таганский)
182 m
Alexander Solzhenitsyn Street 36, Moscow
102 m
Флигель (Таганский)
178 m
Палатка церковная (Таганский)
152 m
Дом, в котором в 1863 г. родился Константин Сергеевич Станиславский (Таганский)
73 m
Ограда (Таганский)
75 m
Главный дом (Таганский)
122 m
Главный дом (Таганский)
22 m
Постройки комплекса церкви Алексея Митрополита, что за Яузой (Таганский)
182 m
Главный дом (Таганский)
140 m
Городская усадьба Баулиных (Таганский)
178 m
Ограда с воротами (Таганский)
128 m
Усадьба (Таганский)
12 m
Место, где находился дом, в котором помещался штаб Красной гвардии Военно-революционного комитета Рогожско-Симоновско района (Таганский)
178 m
Главный дом (Таганский)
157 m
Главный корпус (Таганский)
141 m
Службы (Таганский)
182 m
Stanislavskogo street 25, Moscow
140 m
Бывший дом причта (воссоздание) (Таганский)
182 m
Alexander Solzhenitsyn Street 30, Moscow
58 m
Жилой дом А.А. Денисова (Таганский)
137 m
Stanislavskogo street 21, Moscow
141 mReviews
Visited this place? Tap the stars to rate it and share your experience / photos with the community! Try now! You can cancel it anytime.
Discover hidden gems everywhere you go!
From secret cafés to breathtaking viewpoints, skip the crowded tourist spots and find places that match your style. Our app makes it easy with voice search, smart filtering, route optimization, and insider tips from travelers worldwide. Download now for the complete mobile experience.
A unique approach to discovering new places❞
— Le Figaro
All the places worth exploring❞
— France Info
A tailor-made excursion in just a few clicks❞
— 20 Minutes