Иванников, Виктор Петрович (Nfguuntkf, Fntmkj Hymjkfnc)
Виктор Петрович Иванников | |
---|---|
| |
Дата рождения | 27 февраля 1940 |
Место рождения | Ступино, Московская область, РСФСР, СССР |
Дата смерти | 27 ноября 2016 (76 лет) |
Место смерти | Москва, Россия |
Страна | |
Род деятельности | специалист в области информатики |
Научная сфера | программирование |
Место работы | ИСП РАН, МГУ, МФТИ |
Альма-матер | МФТИ |
Учёная степень | доктор физико-математических наук (1980) |
Учёное звание |
профессор (1986) член-корреспондент РАН (1984) академик РАН (2008) |
Ученики |
А. И. Аветисян, Вл.В. Воеводин |
Награды и премии | |
Сайт | www.ispras.ru |
Медиафайлы на Викискладе |
Ви́ктор Петро́вич Ива́нников (27 февраля 1940, Ступино, Московская область — 27 ноября 2016, Москва) — советский и российский учёный в области вычислительной техники и программирования, академик РАН (с 29 мая 2008 года, член-корреспондент АН СССР с 1984 года). Основатель Института системного программирования РАН, главный редактор журнала «Программирование», заведующий кафедрами системного программирования факультета ВМК МГУ кафедра системного программирования Высшая школа экономики и в Московском физико-техническом институте.
Биография
После завершения учёбы в средней школе Каменска-Уральского (1957) окончил Московский физико-технический институт по специальности «Математические счётно-решающие приборы и устройства» (1963).
С 1962 по 1980 год работал в Институте точной механики и вычислительной техники имени Лебедева РАН, где прошёл путь от техника до одного из ведущих специалистов.
В 1980-х годах, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 год заведовал отделением Института проблем кибернетики РАН, являлся директором Института системного программирования со времени его образования ИСП в январе 1994 года до августа 2015 года[1].
Кандидат физико-математических наук (1971, диссертация «Операционная система НД-70 для БЭСМ-6»), доктор физико-математических наук (1980, диссертация «Проблемы операционных систем многомашинных вычислительных комплексов и реализация операционных системы АС-6-БЭСМ-6»), профессор (1986). В Московском университете работал с 1979 года, сначала на кафедре автоматизации систем вычислительных комплексов факультета ВМК МГУ в должностях: старшего преподавателя (1979—1985), доцента (1985—1986), профессора (с 1986). С 1994 года заведовал кафедрой системного программирования факультета ВМК МГУ. Заведующий кафедрой системного программирования МФТИ (с 1996)[2]. Заведующий кафедрой системного программирования ВШЭ (с 2015) [3].
Член-корреспондент АН СССР с 1984 года, с мая 2008 года — академик Российской академии наук.
Главный редактор журнала «Программирование». Председатель Научного совета «Программирование» РАН. Член международных научных сообществ ACM, IEEE (возглавлял российское отделение IEEE).
С мая 2009 года — президент Российской ассоциации свободного программного обеспечения (РАСПО)[4]. Читал лекционные курсы в МФТИ и МГУ, ФКН ВШЭ [1]: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки». Подготовил 5 докторов и 30 кандидатов наук. Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения.
Лауреат Государственной премии СССР (1980).
Ушел из жизни[как?][прояснить] 27 ноября 2016 года в Москве. По версии сына — Павла Иванникова — Виктора Петровича Иванникова довели до самоубийства или убили при участии Арутюна Аветисяна[2]. Похоронен на Троекуровском кладбище.
Научные достижения
Область научных интересов: системное программирование, архитектура вычислительных машин, операционные системы. Внёс фундаментальный вклад в создание теории и практику разработки операционных систем ЭВМ и вычислительных комплексов. Является одним из основных участников создания первой операционной системы (Д-68) для ЭВМ БЭСМ-6. Предложил операционные средства организации параллельных процессов в задачах и иерархической организации программных комплексов. Эти принципы, реализованные в следующей модификации операционной системы (НД-70) для БЭСМ-6, легли в основу его кандидатской диссертации.
Один из основных разработчиков структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-6, руководитель и активный участник создания и внедрения операционной системы неоднородной локальной сети ЭВМ на базе комплекса АС-6 (этой проблематике посвящена его докторская диссертация). Внёс вклад в создание вычислительных комплексов, обеспечивающих обработку информации в режиме реального времени в центрах управления полётами космических аппаратов.
Исследования конца 1990-х — начала 2000-х годов связаны с созданием системы автоматизации разработки формальных спецификаций по исходным текстам программ и системы генерации тестов для широкого класса программных интерфейсов, инструментальной системы для изучения унаследованного программного обеспечения, а также с обеспечением интероперабельности в распределённых объектно-ориентированных системах. Руководил рабочей группой DOOS (распределённые объектно-ориентированные системы) в ИСП РАН.
Основные работы
Этот раздел не завершён. |
- Спецификация метанаращиваний для эффективного метаобъектного контроля // Программирование. 1997. № 4 (совм. с К. В. Дышлевой, В. И. Задорожным);
- Проект КЛАСТОС // Труды SORUCOM-2011. Великий Новгород, 2011 (совм. с И. Б. Бурдоновым, А. С. Косачевым);
- Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей // Труды Института системного программирования РАН. 2013. № 24 (совм. с А. К. Петренко, В. В. Куляминым, А. В. Максимовым);
- Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM // Труды Института системного программирования РАН, 2014. № 1 (совм. с Ш. Ф. Курмангалеевым, А. А. Белеванцевым, А. Р. Нурмухаметовым, В. В. Савченко, Р. А. Матевосяном, А. И. Аветисяном).
Примечания
- ↑ ИСП РАН . Дата обращения: 26 февраля 2018. Архивировано 26 февраля 2018 года.
- ↑ Кафедра Computer Science МФТИ . Дата обращения: 16 сентября 2007. Архивировано 16 октября 2007 года.
- ↑ Иванников Виктор Петрович . www.hse.ru. Дата обращения: 10 июля 2023. Архивировано 12 мая 2023 года.
- ↑ Ассоциация РАСПО провела первое учредительное собрание . Дата обращения: 26 февраля 2018. Архивировано 27 февраля 2018 года.
Ссылки
- Профиль Виктора Петровича Иванникова на официальном сайте РАН
- Иванников Виктор Петрович на сайте виртуального компьютерного музея
- Научные работы в системе ИСТИНА МГУ
- Историческая справка на сайте Архива РАН
- ИСП РАН: «Воспоминания о Викторе Петровиче Иванникове». (опубл. 10 дек. 2020 г..
Учебные курсы в сети
- Родившиеся 27 февраля
- Родившиеся в 1940 году
- Персоналии по алфавиту
- Родившиеся в Ступине
- Умершие 27 ноября
- Умершие в 2016 году
- Умершие в Москве
- Доктора физико-математических наук
- Члены-корреспонденты РАН
- Действительные члены РАН
- Лауреаты Государственной премии СССР
- Учёные по алфавиту
- Учёные в области информатики СССР
- Учёные в области информатики России
- Выпускники факультета радиотехники и кибернетики Московского физико-технического института
- Сотрудники Института точной механики и вычислительной техники им. С. А. Лебедева
- Преподаватели Московского физико-технического института
- Преподаватели факультета управления и прикладной математики МФТИ
- Преподаватели факультета вычислительной математики и кибернетики МГУ
- Преподаватели ВШЭ
- Похороненные на Троекуровском кладбище