Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Адрес: 109028, г. Москва, Покровский бульвар, д. 11
Телефон: +7(495) 772-95-90*27297
Кафедра создана в 2015 году в структуре департамента программной инженерии на базе Института cистемного программирования им. В.П. Иванникова РАН (ИСП РАН).
Системное программирование – это основа программной инженерии (науки о производстве программ). Специализация кафедры охватывает ряд важнейших направлений: операционные системы, компиляторные технологии, технологии и инструменты разработки программ, системная интеграция и прикладные программные комплексы и др.
Под науч. редакцией: Vitaly Semenov, R. J. Scherer.
CRC Press, 2021.
Vinarskii E., Демаков А. В.
Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.
Vinarskii E., Твардовский А. С., Evtushenko N. V.
In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.
Burdonov I., Kossachev A., Nina Yevtushenko et al.
arxiv.org. Computer Science. Cornell University, 2020
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.
В характере В.П. Иванникова успешно сочетались качества романтика и реалиста в науке. Именно таким он останется в памяти всех, кому посчастливилось работать с ним.