Сборники трудов ИСП РАН


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

академик РАН, доктор физико-математических наук, профессор

(27 февраля 1940, Ступино, Московская область — 27 ноября 2016, Москва)

Виктор Петрович Иванников, академик РАН, профессор
ORCID: http://orcid.org/0000-0002-8461-942X
Scopus Author ID: 7006536801
Researcher ID: N-1714-2015

Должности

Заведующий кафедрой системного программирования на ВМиК МГУ.
Заведующий кафедрой системного программирования в МФТИ.
Заведующий кафедрой системного программирования в НИУ ВШЭ.

Контакты

Телефон: +7(495) 912-44-25.
E-mail: ivan@ispras.ru
Адрес: 109004, Москва, А.Солженицына, 25.



Область научных интересов

  • Системное программирование;
  • Архитектура вычислительных машин;
  • Операционные системы.

Краткая биография

Окончил среднюю школу в г. Каменск-Уральский Свердловской обл. (1957), Московский физико-технический институт по специальности «Математические счетно-решающие приборы и устройства» (1963). Кандидат физико-математических наук (1971), доктор физико-математических наук (1980). Ученое звание – профессор (1986). Действительный член РАН (2008, член-корреспондент РАН с 1991, член-корреспондент АН СССР с 1984). Лауреат Государственной премии СССР (1980).

В Московском университете работает с 1979 г., сначала на кафедре АСВК в должностях: старшего преподавателя (1979-1985), доцента (1985-1986), профессора (с 1986). С 1994 г. заведует кафедрой системного программирования. Заведующий кафедрой системного программирования МФТИ (с 1996).

Главный редактор журнала «Программирование». Член международных научных сообществ ACM, IEEE Computer Society; возглавляет Российское отделение IEEE Computer Society.

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

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

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

В 1980-х гг. В.П. Иванников, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 гг. заведовал отделением Института проблем кибернетики РАН.

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

Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения. Основные научные труды:

  • Система математического обеспечения БЭСМ-6 (1967);
  • Вычислительная машина БЭСМ-10. Аппаратура. Эскизный проект (1973);
  • Архитектура операционной системы суперЭВМ (1984).

Преподавательская деятельность

Читает лекционные курсы: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки».

Подготовил 5 докторов и 30 кандидатов наук.

Публикации

2016

  • Belevantsev, A.A.,Veselevich, E.A.,Ivannikov, V.P. Analysis of entities in C and C++ programs and relations between them for program understanding. Programming and Computer Software, Volume 42, Issue 1, January 2016. pp 49-53.

2015

  • А. И. Гетьман, В.П. Иванников, Ю. В. Маркин, В. А. Падарян, А. Ю. Тихонов. "Модель представления данных при проведении глубокого анализа сетевого трафика", Труды Института системного программирования РАН, том 27, 2015г., выпуск 4.

2014

  • Иванников Виктор, Белеванцев Андрей, Бородин Алексей, Игнатьев Валерий, Журихин Дмитрий, Аветисян Арутюн, Леонов Максим. Статический анализатор Svace для поиска дефектов в исходном коде программ. 2014, Труды Института Системного Программирования, 1, 26, 231-250.
  • Иванников Виктор, , Белеванцев Андрей, Нурмухаметов Алексей, Савченко Валерий, Матевосян Рипсиме, Аветисян Арутюн, Курмангалеев Шамиль. Реализация запутывающих преобразований в компиляторной инфраструктуре LLVM. 2014, Труды Института Системного Программирования, 1, 26, 327-342.

2013

  • Кудрявцев Александр, Кошелев Владимир, Избышев Алексей, Дудина Ирина, , Аветисян Арутюн, Иванников Виктор, Велихов В., Рябинкин Е.. Разработка и реализация облачной системы для решения высокопроизводительных задач. 2013, Труды Института Системного Программирования, 24, 13-34.
  • Иванников Виктор, Петренко Александр, Кулямин Виктор, Максимов Андрей. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. 2013, Труды Института Системного Программирования, 24, 207-218.
  • Иванников Виктор, Петренко Александр, Кулямин Виктор, Максимов Андрей. Опыт использования UniTESK как зеркало развития технологий тестирования на основе моделей. 2013, Труды Института Системного Программирования, 24, 207-218.

2011

  • Иванников Виктор, Косачев Александр, Кузнецов Сергей, Томилин Александр, Бурдонов Игорь. Operating System of the Multi-machine Computer AS-6. 2011, Perspectives on Soviet and Russian Computing, 357, 31-35.
  • Бурдонов Игорь, Иванников Виктор, Косачев Александр. Проект КЛАСТОС. 2011, Труды SORUCOM-2011. Великий Новгород, 12–16 сентября, 2011, 76-82
  • Иванников Виктор, Петренко Александр. Модели в разработке и анализе программных систем. 2011, Сборник тезисов XVIII Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2011».

2007

  • Иванников Виктор, Камкин Александр, Косачев Александр, Кулямин Виктор, Петренко Александр. Использование контрактных спецификаций для представления требований и функционального тестирования моделей аппаратуры. 2007, Программирование, 5, 47-61.

2006

  • Иванников Виктор, Петренко Александр. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. 2006, Труды Института Системного Программирования, 10, 9-14.
  • Иванников Виктор, Петренко Александр. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. 2006, Труды Института Системного Программирования, 10, 9-14.
  • Иванников Виктор, Гайсарян Сергей, Аветисян Арутюн, Падарян Вартан. Оценка динамических характеристик параллельной программы на модели. 2006, Программирование, 4.

2005

  • Иванников Виктор, Камкин Александр, Кулямин Виктор, Петренко Александр. Применение технологии UniTesK для функционального тестирования моделей аппаратного обеспечения. 2005, Препринт Института системного программирования РАН.

2004

  • Иванников Виктор, Гайсарян Сергей, Аветисян Арутюн, Бабкова Варвара, Падарян Вартан. Разработка параллельных Java программ для высокопроизводительных вычислительных систем с распределенной памятью. 2004, Труды Института Системного Программирования, 5, 41-62.

2001

  • Иванников Виктор, Гайсарян Сергей, Антипин К., Рубанов Владимир. Объектно-ориентированное окружение, обеспечивающее доступ к реляционным СУБД. 2001, Труды Института Системного Программирования, 2, 89-114.

2000

  • Иванников Виктор, Дышлевой К., Манжелей С., Соловская Л., Шебуняев А.. Распределенные объектно-ориентированные системы. 2000, Труды Института Системного Программирования, 1, 100-121.