• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Адрес: 109028, г. Москва, Покровский бульвар, д. 11

Телефон: +7(495) 772-95-90 *28240

Руководство
Научный руководитель направления “Программная инженерия" Аветисян Арутюн Ишханович
Руководитель департамента Лебедев Сергей Аркадьевич
Заместитель руководителя департамента Шершаков Сергей Андреевич
Статья
Систематический обзор методов составления тестовых инвариантов

Якушева С. Ф., Хританков А. С.

Программные системы: теория и приложения. 2024. Т. 15. № 2. С. 37-86.

Глава в книге
Metamorphic Testing for Recommender Systems

Sofia Iakusheva, Anton Khritankov.

In bk.: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28–30, 2023, Revised Selected Papers. Yerevan: Springer, 2024. P. 281-293.

ИВАННИКОВ ВИКТОР ПЕТРОВИЧ (27.02.1940 – 27.11.2016)

Академик РАН Виктор Петрович Иванников

27 ноября 2016 года в Москве на 77 году жизни скончался крупнейший российский ученый, академик Российской академии наук, доктор физико-математических наук, профессор, главный редактор журнала «Программирование», заведующий кафедрами системного программирования факультета ВМК МГУ, МФТИ и ВШЭ, основатель и научный руководитель Института системного программирования Виктор Петрович Иванников.

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

Виктор Петрович Иванников родился 27 февраля 1940 года в г. Ступино Московской области. Окончил Московский физико-технический институт по специальности «Математические счётно-решающие приборы и устройства» в 1963 году.

После окончания МФТИ В.П. Иванников работал в Институте точной механики и вычислительной техники им. С. А. Лебедева (ИТМ и ВТ) и был одним из основных разработчиков первой операционной системы (Д-68) для ЭВМ БЭСМ-6.

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

В.П. Иванников - один из основных разработчиков структуры процессоров и общей организации многомашинного вычислительного комплекса АС-6. Под его руководством и при его непосредственном активном участии была создана операционная система неоднородной локальной сети ЭВМ на базе комплекса АС-6. Информационно-вычислительная система АС-6 активно использовалась в системах реального времени в центрах управления полётами космических аппаратов. За разработку математического обеспечения системы АС-6 В.П. Иванников был удостоен звания Лауреата Государственной премии СССР.

В области объектно-ориентированного подхода в программировании В.П. Иванников разработал новую кластерную технологию организации больших программных комплексов, которая была внедрена при создании операционных систем комплекса АС-6 и комплекса супер-ЭВМ.

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

Со дня образования Института системного программирования РАН (25 января 1994 г.) В.П. Иванников руководил работой его коллектива по широкому спектру актуальных направлений: в области разработки операционных систем, систем программирования, в том числе для параллельных вычислительных систем, информационных систем и баз данных, средств машинной графики и систем визуализации, средств моделирования, анализа и верификации ответственных систем.

Под руководством академика В.П. Иванникова были разработаны математические методы и алгоритмы статического и динамического анализа программ, не имеющие аналогов в России, и эффективно решающие задачи поиска уязвимостей безопасности и других дефектов в исходном и бинарном коде на уровне лучших мировых коммерческих систем; созданы система статического анализа исходного кода Svace и система комбинированного анализа защищенного бинарного кода Trex, которые внедрены и используются для решения практических задач по обеспечению безопасности программного обеспечения в ряде организаций.

Академик В.П. Иванников обладал широким кругозором, поддерживал дружеские отношения с виднейшими учеными и новаторами в области современных информационных технологий в России и за рубежом. Он стал первым, кто поднял вопрос о развитии отечественной компьютерной науки в тесной связи с международным сообществом программистов. Важнейшим инструментом международной кооперации он называл свободное программное обеспечение. Благодаря ему в стране появились эксперты-участники крупнейших проектов свободного программного обеспечения, таких как GCC-компилятор и операционная система Linux. В.П. Иванников был первым председателем Российской ассоциации свободного программного обеспечения.

Академик В.П. Иванников - основатель отечественной научной школы системного программирования, объединяющей учёных-разработчиков системного программного обеспечения вычислительных систем. Отличительной чертой школы В.П. Иванникова является атмосфера творческой активности, высокой порядочности взаимоотношений и уважения к работе коллег. Становлению научной школы способствовала его активная забота об организации послевузовского обучения специалистов экстра-класса в процессе выполнения ими концептуально значимых проектов по созданию новых технологий разработки программного обеспечения вычислительных систем. Широко известен его призыв к выпускникам ведущих вузов страны поступать на работу туда, «где есть кому учить и есть чему учиться».

Академик В.П. Иванников возглавлял педагогические коллективы кафедр системного программирования в МГУ им. М. В. Ломоносова, МФТИ и ВШЭ. Он читал основополагающие курсы по алгоритмам и алгоритмическим языкам, по общим проблемам информатики.

В.П. Иванников вел активную научно-организационную работу: он был главным редактором журнала «Программирование», являлся членом бюро Отделения математических наук РАН, возглавлял комиссии по программированию и программному обеспечению вычислительных систем, возглавлял программные и организационные комитеты ряда российских и международных научных конференций, являлся членом международных научных обществ ACM, IEEE Computer Society, возглавлял российское отделение IEEE Computer Society.

В характере В.П. Иванникова успешно сочетались качества романтика и реалиста в науке. Именно таким он останется в памяти всех, кому посчастливилось работать с ним.