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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Виктор Петрович Иванников
Иванников Виктор Петрович MG 1226 BLK.jpg
В. П. Иванников
Дата рождения:

27 февраля 1940(1940-02-27)

Место рождения:

Ступино, Московская область, РСФСР, СССР

Дата смерти:

27 ноября 2016(2016-11-27) (76 лет)

Место смерти:

Москва, Россия

Страна:

Flag of the Soviet Union.svg СССР
Flag of Russia.svg Россия

Научная сфера:

программирование

Место работы:

ИСП РАН

Учёная степень:

доктор физико-математических наук (1980)

Учёное звание:

профессор (1986)
член-корреспондент РАН (1984)
академик РАН (2008)

Альма-матер:

МФТИ

Награды и премии:

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

Сайт:

www.ispras.ru

Commons-logo.svg Виктор Петрович Иванников на Викискладе

Ви́ктор Петро́вич Ива́нников (27 февраля 1940, Ступино, Московская область — 27 ноября 2016, Москва) — учёный в области вычислительной техники и программирования, академик РАН (с 29 мая 2008 года, член-корреспондент АН СССР с 1984 года), главный редактор журнала «Программирование», заведующий кафедрами системного программирования факультета ВМК МГУ и в Московском физико-техническом институте.

Биография[править | править вики-текст]

После завершения учёбы в средней школе Каменска-Уральского (1957), окончил Московский физико-технический институт по специальности «Математические счётно-решающие приборы и устройства» (1963).

Кандидат физико-математических наук (1971), доктор физико-математических наук (1980), профессор (1986).

В Московском университете работал с 1979 года, сначала на кафедре автоматизации систем вычислительных комплексов факультета ВМК МГУ в должностях: старшего преподавателя (19791985), доцента (19851986), профессора1986). С 1994 г. заведует кафедрой системного программирования факультета ВМК МГУ. Заведующий кафедрой системного программирования МФТИ (с 1996)[1].

Член-корреспондент АН СССР с 1984 года, с мая 2008 года — академик Российской академии наук.

В 1994—2014 годы — директор Института системного программирования РАН.

Главный редактор журнала «Программирование». Председатель Научного Совета «Программирование» РАН. Член международных научных сообществ ACM, IEEE (возглавлял российское отделение IEEE).

С мая 2009 года — президент Российской ассоциации свободного программного обеспечения (РАСПО)[2].

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

Скончался 27 ноября 2016 года в Москве. Похоронен на Троекуровском кладбище.

Научные достижения[править | править вики-текст]

Область научных интересов: системное программирование, архитектура вычислительных машин, операционные системы. С 1962 по 1980 годы работал в Институте точной механики и вычислительной техники имени Лебедева РАН, где прошёл путь от техника до одного из ведущих специалистов. Внёс фундаментальный вклад в создание теории и практику разработки операционных систем ЭВМ и вычислительных комплексов. Является одним из основных участников создания первой операционной системы (Д-68) для ЭВМ БЭСМ-6. Предложил операционные средства организации параллельных процессов в задачах и иерархической организации программных комплексов. Эти принципы, реализованные в следующей модификации операционной системы (НД-70) для БЭСМ-6, легли в основу его кандидатской диссертации. Один из основных разработчиков структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-6, руководитель и активный участник создания и внедрения операционной системы неоднородной локальной сети ЭВМ на базе комплекса АС-6 (этой проблематике посвящена его докторская диссертация). Внёс вклад в создание вычислительных комплексов, обеспечивающих обработку информации в режиме реального времени в центрах управления полётами космических аппаратов.

В 1980-х годах, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 год заведовал отделением Института проблем кибернетики РАН, являлся директором Института системного программирования со времени его образования ИСП в январе 1994 года до 2015 года[3]. Исследования конца 1990-х — начала 2000-х годов связаны с созданием системы автоматизации разработки формальных спецификаций по исходным текстам программ и системы генерации тестов для широкого класса программных интерфейсов, инструментальной системы для изучения унаследованного программного обеспечения, а также с обеспечением интероперабельности в распределённых объектно-ориентированных системах. Руководил рабочей группой DOOS (распределённые объектно-ориентированные системы) в ИСП РАН.

Преподавательская деятельность[править | править вики-текст]

Читал лекционные курсы в МФТИ и МГУ: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки». Подготовил 5 докторов и 30 кандидатов наук. Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения.

Примечания[править | править вики-текст]

Ссылки[править | править вики-текст]