Иванников, Виктор Петрович
Виктор Петрович Иванников | |
---|---|
| |
Дата рождения | 27 февраля 1940 |
Место рождения | Ступино, Московская область, РСФСР, СССР |
Дата смерти | 27 ноября 2016 (76 лет) |
Место смерти | Москва, Россия |
Страна | |
Род деятельности | специалист в области информатики |
Научная сфера | программирование |
Место работы | ИСП РАН |
Альма-матер | МФТИ |
Учёная степень | доктор физико-математических наук (1980) |
Учёное звание |
профессор (1986) член-корреспондент РАН (1984) академик РАН (2008) |
Ученики | Вл.В. Воеводин |
Награды и премии | |
Медиафайлы на Викискладе |
Ви́ктор Петро́вич Ива́нников (27 февраля 1940, Ступино, Московская область — 27 ноября 2016, Москва) — советский и российский учёный в области вычислительной техники и программирования, академик РАН (с 29 мая 2008 года, член-корреспондент АН СССР с 1984 года), главный редактор журнала «Программирование», заведующий кафедрами системного программирования факультета ВМК МГУ, НИУ ВШЭ[1] и в Московском физико-техническом институте. Основатель (25.01.1994 года) Института системного программирования РАН, в 1994—2015 годах — его директор. Научный руководитель ИСП РАН (2015—2016).
Биография
Отец Иванников Пётр Денисович (1903—1973), мать Иванникова Таисия Андреевна (1908—2005).
В 1957 году окончил с золотой медалью среднюю школу в г. Каменск-Уральский, в 1963 году окончил Московский физико-технический институт (МФТИ) по специальности «Математические счётно-решающие приборы и устройства».
Кандидат физико-математических наук (1971), доктор физико-математических наук (1980), профессор (1986).
С 1979 года работал в Московском государственном университете, сначала на кафедре автоматизации систем вычислительных комплексов факультета ВМК МГУ в должностях: старшего преподавателя (1979—1985), доцента (1985—1986), профессора (с 1986 года). С 1994 года — заведующий кафедрой системного программирования факультета ВМК МГУ. Одновременно: заведующий кафедрой Системного программирования ВШЭ и заведующий кафедрой системного программирования МФТИ (с 1996 года)[2].
Член-корреспондент АН СССР с 1984 года, с мая 2008 года — академик Российской академии наук.
Основатель (25.01.1994 года) Института системного программирования РАН, в 1994—2015 годах — его директор. Научный руководитель ИСП РАН (2015—2016).
Главный редактор журнала «Программирование». Председатель Научного Совета «Программирование» РАН. Член международных научных сообществ ACM, IEEE (возглавлял российское отделение IEEE).
С мая 2009 года — президент Российской ассоциации свободного программного обеспечения (РАСПО)[3].
Лауреат Государственной премии СССР (1980).
Похоронен на Троекуровском кладбище.
Научные достижения
Область научных интересов: системное программирование, архитектура вычислительных машин, операционные системы. С 1962 по 1980 годы работал в Институте точной механики и вычислительной техники имени Лебедева РАН, где прошёл путь от техника до одного из ведущих специалистов. Внёс фундаментальный вклад в создание теории и практику разработки операционных систем ЭВМ и вычислительных комплексов. Является одним из основных участников создания первой операционной системы (Д-68) для ЭВМ БЭСМ-6. Предложил операционные средства организации параллельных процессов в задачах и иерархической организации программных комплексов. Эти принципы, реализованные в следующей модификации операционной системы (НД-70) для БЭСМ-6, легли в основу его кандидатской диссертации. Один из основных разработчиков структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-6, руководитель и активный участник создания и внедрения операционной системы неоднородной локальной сети ЭВМ на базе комплекса АС-6 (этой проблематике посвящена его докторская диссертация). Внёс вклад в создание вычислительных комплексов, обеспечивающих обработку информации в режиме реального времени в центрах управления полётами космических аппаратов.
В 1980-х годах, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 год заведовал отделением Института проблем кибернетики РАН, являлся директором Института системного программирования со времени его образования ИСП в январе 1994 года до 2015 года[4]. Исследования конца 1990-х — начала 2000-х годов связаны с созданием системы автоматизации разработки формальных спецификаций по исходным текстам программ и системы генерации тестов для широкого класса программных интерфейсов, инструментальной системы для изучения унаследованного программного обеспечения, а также с обеспечением интероперабельности в распределённых объектно-ориентированных системах. Руководил рабочей группой DOOS (распределённые объектно-ориентированные системы) в ИСП РАН.
Преподавательская деятельность
Читал лекционные курсы в МФТИ, ВШЭ и МГУ: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки». Подготовил 5 докторов и 30 кандидатов наук. Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения.
Семья
Был женат (1965—2016), вдова Тамара Николаевна Иванникова (1943). Дети: дочь Иванникова Наталья Викторовна (1974), сын Иванников Павел Викторович (1971). Двое внуков.
Примечания
Ссылки
- Родившиеся 27 февраля
- Родившиеся в 1940 году
- Персоналии по алфавиту
- Родившиеся в Ступине
- Умершие 27 ноября
- Умершие в 2016 году
- Умершие в Москве
- Доктора физико-математических наук
- Члены-корреспонденты РАН
- Действительные члены РАН
- Лауреаты Государственной премии СССР
- Учёные по алфавиту
- Преподаватели факультета вычислительной математики и кибернетики МГУ
- Преподаватели Московского физико-технического института
- Выпускники факультета радиотехники и кибернетики Московского физико-технического института
- Выпускники Московского физико-технического института
- Учёные в области информатики СССР
- Учёные в области информатики России
- Преподаватели ВШЭ
- Похороненные на Троекуровском кладбище