Виктор Петрович Иванников

Виктор Петрович Иванников (род. 27 февраля 1940, Москва) — советский и российский учёный в области системного программирования, информатики и вычислительной техники, доктор физико-математических наук (1985), профессор (1987), академик Российской академии наук (с 2008 года, член-корреспондент с 1994). Один из создателей отечественной школы системного программирования, основатель и бессменный руководитель (с 1994 по 2022 год) Института системного программирования имени В. П. Иванникова РАН (ИСП РАН). Лауреат Государственной премии СССР (1988) и премии Правительства РФ в области науки и техники (2003). Основные научные результаты связаны с разработкой архитектуры вычислительных систем, операционных систем, компиляторов, технологий верификации программ и методов анализа программного кода.

Биография

Ранние годы и образование

Виктор Петрович Иванников родился 27 февраля 1940 года в Москве. В 1963 году окончил Московский физико-технический институт (МФТИ) по специальности «автоматика и телемеханика». После окончания института начал работать в Институте точной механики и вычислительной техники имени С. А. Лебедева (ИТМиВТ) АН СССР, где прошёл путь от инженера до заведующего лабораторией.

Научная и административная карьера

В 1970-е годы Иванников занимался разработкой операционных систем для первых советских многопроцессорных вычислительных комплексов. В 1985 году защитил докторскую диссертацию на тему «Принципы построения и реализации операционных систем для многопроцессорных вычислительных систем». В 1987 году получил звание профессора.

В 1988 году Иванников стал одним из инициаторов создания Отдела системного программирования в составе Вычислительного центра АН СССР. В 1994 году на базе этого отдела был образован Институт системного программирования РАН (ИСП РАН), директором которого Иванников был назначен. Он руководил институтом до 2022 года, после чего передал пост директора своему ученику, академику А. И. Аветисяну, и остался в должности научного руководителя ИСП РАН.

В 1994 году избран членом-корреспондентом РАН по Отделению информатики, вычислительной техники и автоматизации, а в 2008 году — академиком РАН. Входил в состав бюро Отделения нанотехнологий и информационных технологий РАН. Являлся членом редакционных коллегий ряда научных журналов, в том числе «Программирование» и «Автоматика и телемеханика».

Научные достижения

Архитектура вычислительных систем

Иванников внёс значительный вклад в разработку архитектуры отечественных многопроцессорных вычислительных комплексов. В 1970–1980-х годах под его руководством создавались операционные системы для машин серии «Эльбрус» и других суперкомпьютеров. Он предложил принципы построения операционных систем, обеспечивающих эффективное распараллеливание вычислений и управление ресурсами в многопроцессорных средах.

Системное программирование и компиляторы

Одним из ключевых направлений деятельности Иванникова стало создание технологий компиляции и оптимизации программного кода. Он участвовал в разработке компиляторов для языков программирования высокого уровня (в частности, для языка Ада и Фортран), адаптированных под советскую вычислительную технику. Под его руководством были созданы методы статического и динамического анализа программ, позволяющие выявлять ошибки и повышать производительность кода.

Верификация программ и безопасность

В 2000-е годы Иванников инициировал работы по формальной верификации программного обеспечения. В ИСП РАН под его руководством были разработаны инструменты для автоматического доказательства корректности программ, в том числе для систем реального времени и критических приложений (авионика, атомная энергетика). Эти технологии нашли применение при сертификации программного обеспечения в российской космической и оборонной промышленности.

Анализ программного кода

Иванников является автором фундаментальных работ по статическому анализу программ. Разработанные в ИСП РАН методы (например, инструмент «СВИФТ» и платформа «Клевер») позволяют автоматически находить уязвимости и дефекты в исходном коде на языках C, C++, Java и других. Эти технологии используются в российской системе сертификации программного обеспечения для государственных информационных систем.

Педагогическая деятельность

Виктор Петрович Иванников вёл активную преподавательскую работу. Он являлся профессором кафедры системного программирования Московского физико-технического института (МФТИ), а также читал лекции в Московском государственном университете имени М. В. Ломоносова и Высшей школе экономики. Под его руководством защищено более 30 кандидатских и докторских диссертаций. Среди его учеников — многие ведущие российские специалисты в области программирования и информатики.

Основные труды

Иванников является автором и соавтором более 200 научных публикаций, включая несколько монографий. Наиболее известные работы:

• «Системное программирование» (1990) — учебное пособие, ставшее классическим в российских вузах.
• «Операционные системы» (в соавторстве, 1995) — монография, посвящённая принципам построения современных ОС.
• «Статический анализ программ» (в соавторстве, 2010) — фундаментальный труд по методам верификации и анализа кода.
• «Программная инженерия» (2014) — учебник, обобщающий многолетний опыт преподавания.

Награды и звания

• Государственная премия СССР (1988) — за создание операционных систем для многопроцессорных вычислительных комплексов.
• Премия Правительства РФ в области науки и техники (2003) — за разработку и внедрение технологий системного программирования.
• Орден «За заслуги перед Отечеством» IV степени (2010) — за большой вклад в развитие науки и образования.
• Золотая медаль имени С. А. Лебедева РАН (2015) — за выдающиеся достижения в области вычислительной техники.
• Заслуженный деятель науки Российской Федерации (1999).

Память

В 2022 году, после ухода с поста директора, Институту системного программирования РАН было присвоено имя В. П. Иванникова. В 2023 году на здании института установлена мемориальная доска. Имя академика носит одна из лабораторий МФТИ.

Источники

• Иванников В. П. // Большая российская энциклопедия. — Электронная версия, 2023.
• Институт системного программирования имени В. П. Иванникова РАН. Официальный сайт.
• Академик В. П. Иванников: к 80-летию со дня рождения // Вестник РАН. — 2020. — № 2.
• Российская академия наук. Персональная страница В. П. Иванникова.
• Государственная премия СССР 1988 года // Сборник постановлений ЦК КПСС и Совета Министров СССР. — М., 1988.