ИВА́ННИКОВ
-
Рубрика: Технологии и техника
-
-
Скопировать библиографическую ссылку:
ИВА́ННИКОВ Виктор Петрович (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).