Иванников Виктор Петрович
Ива́нников Ви́ктор Петро́вич (27.2.1940, Ступино, Московская область – 27.11.2016, Москва), советский и российский учёный в области вычислительной техники и программирования, член-корреспондент АН СССР (1984; c 1991 РАН), академик РАН (2008). Основатель и научный руководитель Института системного программирования РАН (ИСП РАН), ныне носящего его имя.
Окончил Московский физико-технический институт по специальности «математические счётно-решающие приборы и устройства» в 1963 г. Кандидат физико-математических наук (1971), доктор физико-математических наук (1980), профессор (1986). В 1962–1980 гг. работал в Институте точной механики и вычислительной техники АН СССР (ныне Институт точной механики и вычислительной техники им. С. А. Лебедева РАН), где прошёл путь от техника до одного из ведущих специалистов.
В 1980-х гг. В. П. Иванников, работая в НИИ «Дельта» Министерства электронной промышленности СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения супер-ЭВМ.
Главный редактор журналов «Программирование» (с 1988) и ««Труды Института системного программирования РАН» (с 2000). Заведовал кафедрами системного программирования факультета вычислительной математики и кибернетики МГУ, МФТИ и ВШЭ. Председатель Научного совета «Программирование» РАН, член международных научных сообществ: Ассоциации вычислительной техники (АСМ), Института инженеров электротехники и электроники (IEEE, возглавлял российское отделение).
Внёс фундаментальный вклад в создание теории и практику разработки операционных систем ЭВМ и вычислительных комплексов, был одним из основных разработчиков первой операционной системы (Д-68) для ЭВМ БЭСМ-6. В. П. Иванников – один из главных разработчиков структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-6, руководитель и активный участник создания и внедрения операционной системы неоднородной локальной сети ЭВМ на базе АС-6. Ему принадлежит существенная роль в создании вычислительных комплексов, обеспечивающих обработку информации в режиме реального времени в центрах управления полётами космических аппаратов.
Со дня образования ИСП РАН в 1994 г. В. П. Иванников руководил работой его коллектива в актуальных направлениях: разработки операционных систем, систем программирования, в том числе для параллельных вычислительных систем, информационных систем и баз данных, средств машинной графики и систем визуализации, средств моделирования, анализа и верификации ответственных систем. За короткое время он не только сумел сохранить коллектив, но и усилил его, сделав ставку на молодёжь. В. П. Иванников – основатель отечественной научной школы системного программирования, объединяющей учёных – разработчиков системного программного обеспечения вычислительных систем.
Он стал первым, кто поднял вопрос о развитии отечественной компьютерной науки в тесной связи с международным сообществом программистов. Важнейшим инструментом международной кооперации он называл свободное программное обеспечение. Благодаря ему в стране появились эксперты – участники крупнейших проектов свободного программного обеспечения, таких как GCC-компилятор и операционная система Linux. В. П. Иванников был первым председателем Российской ассоциации свободного программного обеспечения (2009).
Лауреат Государственной премии СССР (1980).
Литература
Сочинения
- Иванников В. П. Спецификация метанаращиваний для эффективного метаобъектного контроля / В. П. Иванников, К. В. Дышлева, В. И. Задорожный // Программирование. – 1997. – № 4.
- Иванников В. П. Проект КЛАСТОС / Иванников В. П., Бурдонов И. Б., Косачев А. С. // Труды SORUCOM-2011. – Великий Новгород, 2011.
- Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей / В. П. Иванников, А. К. Петренко, В. В. Кулямин, А. В. Максимов // Труды Института системного программирования РАН. – 2013. – Т. 24. – С. 207–218.
- Иванников В. П. Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM / В. П. Иванников, Ш. Ф. Курмангалеев, А. А. Белеванцев // Труды Института системного программирования РАН. – 2014. – № 1. – С. 327–342.
- Модель представления данных при проведении глубокого анализа сетевого трафика / В. П. Иванников, А. И. Гетьман, Ю. В. Маркин [и др. // Труды Института системного программирования РАН. – 2015. – Т. 27, вып. 4. – С. 5–22.]
- Иванников В. П. Обучение программированию в эпоху технологических революций / В. Иванников // Открытые системы. СУБД. – 2017. – № 1. – С. 34–39.