• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

ИВАННИКОВ ВИКТОР ПЕТРОВИЧ (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.

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