Институт системного программирования им. В. П. Иванникова Российской академии наук провёл Открытую конференцию, посвящённую своему 25-летию, и объявил о запуске новых международных проектов. Ежегодная конференция прошла в Главном здании РАН в Москве в последний месяц 2019 года.
Она собрала сотни программистов из России, Южной Кореи, Китая, США и других стран мира. Перед началом научных докладов состоялась пленарная сессия, которую открыл директор ИСП РАН, академик РАН Арутюн Аветисян. Он рассказал о развитии института и планах на будущее. По его словам, сейчас в ИСП РАН работает около 300 научных сотрудников, причём 74,5% из них – моложе сорока лет. Доля контрактных работ института составляет 88%.
«Последние несколько лет мы активно развиваем цифровые платформы, и это – наш план на будущее. Для их создания нужно контролировать весь стек программного обеспечения нижнего уровня, а также облачные решения. И наш опыт позволяет нам выстраивать такие платформы, – рассказал Арутюн Аветисян, – Я горжусь, что за эти годы нам удалось создать такие технологии».
В частности, в этом году институт выиграл грант РФФИ и Министерства науки и технологии Израиля на реализацию проекта по разработке новых методов распознавания электрокардиограмм и созданию облачного сервиса для консультаций. Партнёром ИСП РАН в этом проекте станет один из самых известных вузов Израиля – технологический институт «Технион», а именно – лаборатория профессора Ассафа Шустера, который также присутствовал на пленарной сессии и поприветствовал её участников. На конференции рассказали также о начале научно-технического сотрудничества с Первым МГМУ им. И. М. Сеченова.
«Наш университет – партнёр Института системного программирования, и я думаю, что уже в следующем году мы получим полезный практический результат совместной работы», – отметил проректор по научно-исследовательской работе Сеченовского университета Денис Бутнару.
Научные разработки института находят широкое применение в бизнесе. ИСП РАН уже 10 лет сотрудничает с такой крупной компанией, как Samsung Corp., создавая технологии в совместной лаборатории. В частности, за прошедшие годы в ней был разработан Svace – основной инструмент статического анализа Samsung Corp. Как сообщил ведущий инженер Software Quality Lab в Samsung Research Юил Ким, сейчас Svace используют более 10 тысяч разработчиков компании. С 2015 года с помощью инструмента ИСП РАН проверено уже более 300 миллиардов строк программного кода. В дальнейшем в лаборатории планируется активно развивать использование технологий искусственного интеллекта в программной инженерии.
ИСП РАН и Huawei открыли R&D-лабораторию по развитию средств разработки ПОВ этом году у ИСП РАН началось и научно-техническое сотрудничество с ещё одной известной компанией – Huawei Technologies.
«Компания Huawei нацелена на долгосрочное сотрудничество. И в такой сложной наукоёмкой области, как развитие компиляторов, индустрия обязана работать с исследователями, – сказал представитель исследовательского центра Huawei в Санкт-Петербурге Сергей Якушкин, – В частности, я с удовольствием хочу рассказать об открытии лаборатории компании Huawei и Института системного программирования».
Уже несколько лет институт работает со ФСТЭК России. Недавно обе организации подписали соглашение, расширяющее их сотрудничество.
«Наше взаимодействие строится по двум основным направлениям. Первое – безопасная разработка программного обеспечения. По этому вопросу уже проделана значительная работа, созданы национальные стандарты по безопасной разработке, положено начало целой системе стандартов, – рассказал заместитель директора ФСТЭК Виталий Лютиков. – Второе направление взаимодействия – оценка безопасности, сертификация средств программного обеспечения. Благодаря нашей совместной работе мы всё больше и больше внедряем технологии и наработки, которые есть в Институте системного программирования».
Участникам конференции были представлены научные доклады в трёх секциях, посвящённых анализу программ, управлению данными и решению задач механики сплошных сред. Состоялся также интерактивный семинар, который провёл Николай Бьорнер (Nikolaj Bjørner) – ведущий разработчик решателя Z3 (Microsoft Research). Во время работы конференции в фойе проходила выставка двадцати технологий ИСП РАН, внедрённых в индустрии. О каждой из них рассказывали разработчики – сотрудники института.
Открытая конференция ИСП РАН проводится ежегодно при поддержке IEEE и IEEE Computer Society, Российской академии наук, ФСТЭК России, Фонда перспективных исследований, а также бизнес-партнёров института.
Фотолента
