• 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.

Сотрудники

Гринкруг Ефим Михайлович

заместитель руководителя, Профессор

Научные интересы
Гришин Дмитрий Владимирович

Приглашенный преподаватель

Научные интересы
Кузьмина Елена Сергеевна

Приглашенный преподаватель

Научные интересы
Поповкин Александр Викторович

Приглашенный преподаватель

Чернов Александр Владимирович

Приглашенный преподаватель

Научные интересы

Базовая кафедра «Системное программирование» Института системного программирования РАН

Гринкруг Ефим Михайлович

заместитель заведующего кафедрой, Профессор