Институт системного программирования им. В.П. Иванникова РАН

Виктор Петрович Иванников (27 февраля 1940, Ступино, Московская область - 27 ноября 2016, Москва) - учёный в области вычислительной техники и программирования, академик РАН (с 29 мая 2008 года, член-корреспондент АН СССР с 1984 года), главный редактор журнала «Программирование», заведующий кафедрами системного программирования факультета ВМК МГУ и в Московском физико-техническом институте.

Биография

После завершения учёбы в средней школе Каменска-Уральского (1957), окончил Московский физико-технический институт по специальности «Математические счётно-решающие приборы и устройства» (1963).

Кандидат физико-математических наук (1971), доктор физико-математических наук (1980), профессор (1986).

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

Член-корреспондент АН СССР с 1984 года, с мая 2008 года - академик Российской академии наук.

В 1994-2014 годы - директор Института системного программирования РАН.

Главный редактор журнала «Программирование». Председатель Научного Совета «Программирование» РАН. Член международных научных сообществ ACM, IEEE (возглавлял российское отделение IEEE).

С мая 2009 года - президент Российской ассоциации свободного программного обеспечения (РАСПО).

Лауреат Государственной премии СССР (1980).

Похороны пройдут на Троекуровском кладбище.

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

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

В 1980-х годах, работая в НИИ «Дельта» Минэлектронпрома СССР и в Институте проблем кибернетики АН СССР, руководил созданием и внедрением систем автоматизации проектирования и программного обеспечения суперЭВМ. С 1991 по 1994 год заведовал отделением Института проблем кибернетики РАН, являлся директором Института системного программирования со времени его образования ИСП в январе 1994 года до 2015 года. Исследования конца 1990-х - начала 2000-х годов связаны с созданием системы автоматизации разработки формальных спецификаций по исходным текстам программ и системы генерации тестов для широкого класса программных интерфейсов, инструментальной системы для изучения унаследованного программного обеспечения, а также с обеспечением интероперабельности в распределённых объектно-ориентированных системах. Руководил рабочей группой DOOS (распределённые объектно-ориентированные системы) в ИСП РАН.

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

Читал лекционные курсы в МФТИ и МГУ: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки». Подготовил 5 докторов и 30 кандидатов наук. Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения.

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

Биография, карьера

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

С 1962 по 1980 гг. работал в Институте точной механики и вычислительной техники им. Лебедева РАН, где прошел путь от техника до одного из ведущих специалистов.

С 1979 по настоящее время работает в МГУ на кафедре АСВК, пройдя путь от старшего преподавателя до профессора кафедры.

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

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

Является директором Института системного программирования РАН со времени образования ИСП в январе 1994.

С 1996 года Иванников является заведующим кафедрой системного программирования МФТИ. С мая 2008 года - академик Российской академии наук.

В мае 2009 года был избран на пост президента Российской ассоциации свободного программного обеспечения (РАСПО).

Виктор Иванников являлся членом международных научных сообществ ACM, IEEE Computer Society и возглавляет Российское отделение IEEE Computer Society.

В ночь с 27 на 28 ноября 2016 г. в Москве в возрасте 76 лет из-за болезни сердца скончался научный руководитель Института системного программирования Российской академии наук (ИСП РАН), академик, профессор Виктор Петрович Иванников.

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.

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

Ты - не раб!
Закрытый образовательный курс для детей элиты: "Истинное обустройство мира".
http://noslave.org

Материал из Википедии - свободной энциклопедии

Виктор Петрович Иванников
250px В. П. Иванников
Дата рождения:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Место рождения:
Дата смерти:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Место смерти:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Страна:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Научная сфера:
Место работы:
Учёная степень:
Учёное звание:
Альма-матер :
Научный руководитель:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Известные ученики:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Известен как:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Известна как:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
Награды и премии:
Сайт:
Подпись:	Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).
[[Ошибка Lua в Модуль:Wikidata/Interproject на строке 17: attempt to index field "wikibase" (a nil value). |Произведения]] в Викитеке
Ошибка Lua в Модуль:Wikidata на строке 170: attempt to index field "wikibase" (a nil value).

Ошибка Lua в Модуль:CategoryForProfession на строке 52: attempt to index field "wikibase" (a nil value).

Ви́ктор Петро́вич Ива́нников (род. 27 февраля г., Ступино , Московская область) - учёный в области вычислительной техники и программирования, академик РАН (с 29 мая 2008 года, член-корреспондент АН СССР с 1984 года), главный редактор журнала «Программирование», заведующий кафедрами системного программирования факультета ВМК МГУ и в .

Биография

После завершения учёбы в средней школе Каменска-Уральского (), окончил по специальности «Математические счётно-решающие приборы и устройства» ().

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

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

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

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

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

Читает лекционные курсы в МФТИ и МГУ: «Операционные системы», «Базы данных», «Алгоритмы и алгоритмические языки». Подготовил 5 докторов и 30 кандидатов наук. Опубликовал свыше 100 научных работ, зарегистрировал 2 изобретения.

Напишите отзыв о статье "Иванников, Виктор Петрович"

Примечания

Ссылки

• на официальном сайте РАН

Отрывок, характеризующий Иванников, Виктор Петрович

Перед моими глазами, как в кино, проносились страшные, холодящие сердце картинки насилия и зверских убийств... Я не могла на всё это спокойно смотреть, сердце буквально «выпрыгивало» из груди, лоб (как если бы я была в физическом теле!..) покрывался холодной испариной, и хотелось бежать, куда глаза глядят из этого ужасающего, чудовищно-безжалостного мира... Но, взглянув на серьёзно-сосредоточенное личико Стеллы мне стало стыдно за свою слабость, и я заставила себя смотреть дальше.
Мы оказались внутри того же самого дома, только сейчас всё в нём было полностью разбито и уничтожено, а посередине одной из комнат, прямо на полу, валялось мёртвое тело доброй няни... Через разбитые окна с улицы слышались душераздирающие женские крики, всё перемешалось в ужасном кошмаре безысходности и страха... Казалось, весь мир вдруг почему-то сошёл с ума... Тут же мы увидели другую комнату, в которой трое мужчин, тяжело навалившись, пытались привязать к ручкам кровати, вырывающуюся из последних сил, светловолосую жену рыцаря Гарольда... А его маленький сын сидел прямо под той же кроватью, сжимая в своих малюсеньких ручках, слишком большой для него, папин кинжал и, закрыв глаза, сосредоточено что-то шептал... Никто во всей этой сумасшедшей суматохе никакого внимания на него не обращал, а он был так странно и «неподвижно» спокоен, что сперва я подумала – с малышом, от всего этого ужаса, случился самый настоящий эмоциональный удар. Но очень скоро поняла, что ошиблась... Как оказалось, ребёнок, попросту, из последних сил пытался собраться для какого-то, видимо очень решительного и важного шага...
Он мог свободно дотянуться до любого из насильников, и я сперва подумала, что бедный малыш, думая ещё совершенно по-детски, хочет попытаться как-то защитить свою несчастную маму. Но, как оказалось, этот крошечный, насмерть напуганный мальчонка, был в своей, ещё детской, душе настоящим сыном рыцаря, и сумел сделать самый правильный и единственный в тот жуткий момент вывод... и решился на самый тяжёлый в его коротенькой жизни, шаг... Каким-то образом, наконец, собравшись, и тихо прошептав «мамочка!», он выскочил наружу, и изо всех своих детских силёнок.... полоснул тяжеленным кинжалом прямо по нежной шее свою бедную мать, которую уже никак по-другому не мог спасти, и которую он всем своим детским сердечком беззаветно любил....
Вначале, в «насильническом» азарте, происшедшего никто даже и не заметил... Мальчонка тихонько отполз в угол, и видимо не имея ни на что больше сил, сидел застывший, ко всему безразличный, и расширившимися от ужаса глазами наблюдал как прямо перед ним, от его же руки, уходила из жизни его добрая, самая лучшая на свете, ласковая мама...
Вдруг это страшное видение куда-то исчезло и вокруг опять сиял, переливаясь всеми цветами радуги, светлый и радостный Стеллин мир... А я, не в состоянии прийти в себя от увиденного кошмара, пыталась сохранить в своей памяти чистый образ этого чудесного, храброго маленького мальчика, и даже не заметила, что плачу... Я чувствовала, как по моим щекам рекой текут слёзы, но мне почему-то ни капельки не было стыдно...
– Дальше тебе не буду показывать, потому что там будет ещё грустнее... – расстроено сказала Стелла. – Но мы их нашли, с ними всё в порядке! Ты не грусти так! – тут же опять, стряхнув печаль, прощебетала она.
А бедный Гарольд сидел на созданном ею сверкающем камне, гладил одним пальцем мурлыкающего красного дракончика, и был от нас очень далеко, в своём заветном мире, в котором наверняка все они были всё ещё вместе, и в котором очень реально жила его несвершившаяся мечта...
Мне было так его жаль!.. Но, к сожалению, помочь ему было не в моих силах. И мне, честно, очень хотелось узнать, чем же эта необыкновенная малышка ему помогла...
– Мы нашли их! – опять повторила Стелла. – Я не знала, как это сделать, но бабушка мне помогла!
Оказалось, что Гарольд, при жизни, даже не успел узнать, как страшно пострадала, умирая, его семья. Он был рыцарем-воином, и погиб ещё до того, как его город оказался в руках «палачей», как и предсказывала ему жена.
Но, как только он попал в этот, ему незнакомый, дивный мир «ушедших» людей, он сразу же смог увидеть, как безжалостно и жестоко поступила с его «единственными и любимыми» злая судьба. После он, как одержимый, целую вечность пытался как-то, где-то найти этих, самых ему дорогих на всём белом свете людей... И искал он их очень долго, больше тысячи лет, пока однажды какая-то, совершенно незнакомая, милая девочка Стелла не предложила ему «сделать его счастливым» и не открыла ту «другую» нужную дверь, чтобы наконец-то их для него найти...
– Хочешь, я покажу тебе? – опять предложила малышка,
Но я уже не была так уверена, хочу ли я видеть что-то ещё... Потому, что только что показанные ею видения ранили душу, и невозможно было от них так быстро избавиться, чтобы желать увидеть какое-то продолжение...
– Но ты ведь хочешь увидеть, что с ними случилось! – уверенно констатировала «факт» маленькая Стелла.
Я посмотрела на Гарольда и увидела в его глазах полное понимание того, что я только что нежданно-негаданно пережила.
– Я знаю, что ты видела... Я смотрел это много раз. Но они теперь счастливы, мы ходим смотреть на них очень часто... И на них «бывших» тоже... – тихо произнёс «грустный рыцарь».
И тут только я поняла, что Стелла, просто-напросто, когда ему этого хотелось, переносила его в его же прошлое, точно так же, как она сделала это только что!!! И она делала это почти играючи!.. Я даже не заметила, как эта дивная, светлая девчушка всё сильнее и сильнее стала меня к себе «привязывать», становясь для меня почти что настоящим чудом, за которым мне без конца хотелось наблюдать... И которую совершенно не хотелось покидать... Тогда я почти ещё ничего не знала и не умела, кроме того, что могла понять и научиться сама, и мне очень хотелось хотя бы чему-то у неё научиться, пока ещё была такая возможность.