Иванников, Виктор Петрович
Виктор Петрович Иванников | |
---|---|
![]() В. П. Иванников | |
Дата рождения | 27 февраля 1940 |
Место рождения |
СССР |
Дата смерти | 27 ноября 2016 (76 лет) |
Место смерти | Москва, Россия |
Страна | |
Род деятельности | специалист в области информатики |
Научная сфера | программирование |
Место работы | |
Альма-матер |
МФТИ |
Учёная степень |
1980 ) |
Учёное звание |
2008 ) |
Ученики |
А. И. Аветисян, Вл.В. Воеводин |
Награды и премии |
![]() |
Сайт | www.ispras.ru |
![]() |
Ви́ктор Петро́вич Ива́нников (
Биография
После завершения учёбы в средней школе Каменска-Уральского (1957) окончил Московский физико-технический институт по специальности «Математические счётно-решающие приборы и устройства» (1963).
С 1962 по 1980 год работал в
В 1980-х годах, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 год заведовал отделением Института проблем кибернетики РАН, являлся директором
Главный редактор журнала «
С мая 2009 года — президент Российской ассоциации свободного программного обеспечения (РАСПО)[4]. Читал лекционные курсы в МФТИ и МГУ, ФКН ВШЭ [1]: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки». Подготовил 5 докторов и 30 кандидатов наук. Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения.
Лауреат Государственной премии СССР (1980).
Ушел из жизни[как?][прояснить] 27 ноября 2016 года в Москве. Похоронен на Троекуровском кладбище.
Научные достижения
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/47/IvannikovVP.jpg/270px-IvannikovVP.jpg)
Область научных интересов: системное программирование, архитектура вычислительных машин, операционные системы. Внёс фундаментальный вклад в создание теории и практику разработки операционных систем ЭВМ и вычислительных комплексов. Является одним из основных участников создания первой операционной системы (
Один из основных разработчиков структуры процессоров и общей архитектуры многомашинного вычислительного комплекса АС-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 году
- Умершие в Москве
- Доктора физико-математических наук
- Члены-корреспонденты РАН
- Действительные члены РАН
- Лауреаты Государственной премии СССР
- Учёные по алфавиту
- Учёные в области информатики СССР
- Учёные в области информатики России
- Выпускники факультета радиотехники и кибернетики Московского физико-технического института
- Сотрудники Института точной механики и вычислительной техники им. С. А. Лебедева
- Преподаватели Московского физико-технического института
- Преподаватели факультета управления и прикладной математики МФТИ
- Преподаватели факультета вычислительной математики и кибернетики МГУ
- Преподаватели ВШЭ
- Похороненные на Троекуровском кладбище