• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Тел.: +7(495) 772-95-90*22508

Адрес: 125319, г.Москва, Кочновский проезд, д.3

 

Руководство

Руководитель департамента — Авдошин Сергей Михайлович

 

Заместитель руководителя департамента — Ахметсафина Римма Закиевна

 

Заместитель руководителя департамента по научной работе — Гринкруг Ефим Михайлович 

 

Менеджер департамента — Климова Татьяна Васильевна

 

Редактор сайта — Чичилева Наталия Игоревна

Статья
Статический анализ зависимостей для семантической валидации данных

Ильин Д., Фокина Н., Семенов В. А.

Труды Института системного программирования РАН. 2018. Т. 30. № 3. С. 271-284.

Глава в книге
System-Wide Elimination of Unreferenced Code and Data in Dynamically Linked Programs

Ivanishin V., Kudryashov E., Monakov A. et al.

In bk.: Proceedings of the 2017 Ivannikov ISPRAS Open Conference. Los Alamitos: IEEE Computer Society, 2018. P. 1-5.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Тема «магистерские программы» – Новости

«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»

В 2017 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе,  рассказывает ее руководитель Александр Петренко.