Подпишитесь на наши новости
Вернуться к началу с статьи up
 

ИВА́ННИКОВ

Авторы: С. Д. Кузнецов

ИВА́ННИКОВ Виктор Петрович (27.2.1940, Ступино Московской области – 27.11.2016, Москва), российский учёный в области вычислительной техники и программирования, академик РАН (2008). В 1963 окончил Московский физико-технический институт (МФТИ). В 1962–80 работал в Институте точной механики и вычислительной техники им. С. А. Лебедева; с 1980-х гг. в НИИ «Дельта» Министерства электронной промышленности СССР и Институте проблем кибернетики АН СССР (в 1991–94 заведующий отделением). В 1994–2015 директор Института системного программирования РАН. Одновременно с 1979 работал в МГУ, с 1994 заведующий кафедрой системного программирования (профессор с 1986), заведующий кафедрой системного программирования МФТИ (с 1996), с 2015 также заведующий кафедрой системного программирования НИУ ВШЭ.

Внёс фундаментальный вклад в создание теории и практики разработки операционных систем (ОС) ЭВМ и вычислительных комплексов. Один из руководителей разработок первой ОС (Д-68) и её модификации (НД-70) для ЭВМ БЭСМ-6 (1970), архитектуры микроядерной ОС (1977), структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-6 (1979); руководитель создания и внедрения ОС неоднородной локальной сети ЭВМ на базе комплекса АС-6, вычислительных комплексов, обеспечивающих обработку информации в режиме реального времени в центрах управления полётами космических аппаратов. Руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения векторно-конвейерной супер-ЭВМ «Электроника ССБИС» (1990). С конца 1990-х гг. исследования И. связаны с созданием системы автоматизации разработки формальных спецификаций по исходным текстам программ и системы генерации тестов для широкого класса программных интерфейсов, разнородных распределённых объектных приложений, методов и инструментов обеспечения безопасности и надёжности программных систем, методов анализа производительности и надёжности высокопроизводительных и распределённых систем.

Главный редактор журналов «Программирование» (с 1988) и «Труды Института системного программирования РАН» (с 2000).

Государственная премия СССР (1980).

Соч.: Спецификация метанаращиваний для эффективного метаобъектного контроля // Программирование. 1997. № 4 (совм. с К. В. Дышлевой, В. И. Задорожным); Проект КЛАСТОС // Труды SORUCOM-2011. Великий Новгород, 2011 (совм. с И. Б. Бурдоновым, А. С. Косачевым); Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей // Труды Института системного программирования РАН. 2013. № 24 (совм. с А. К. Петренко, В. В. Куляминым, А. В. Максимовым); Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM // Труды Института системного программирования РАН, 2014. № 1 (совм. с Ш. Ф. Курмангалеевым, А. А. Белеванцевым, А. Р. Нурмухаметовым, В. В. Савченко, Р. А. Матевосяном, А. И. Аветисяном).

  • ИВА́ННИКОВ Виктор Петрович (р. 27.2.1940), рос. учёный в области вычислит. техники и программирования (2008)
  • ИВА́ННИКОВ Виктор Петрович (р. 27.2.1940), российский учёный в области вычислительной техники и программирования (2015)
Вернуться к началу