На Открытой конференции ИСП РАН объявили о расширении сотрудничества института с Samsung и Huawei

Расширение международного сотрудничества с крупными ИТ-компаниями – эта тема стала одной из центральных на Открытой конференции ИСП РАН им. В.П. Иванникова, которая состоялась в конце 2019 года в Москве. Двухдневная конференция была посвящена 25-летию института и собрала несколько сотен экспертов в области системного программирования из России, Южной Кореи, Китая, Германии, Нидерландов, США и других стран.

На конференции стало известно о предстоящем расширении сотрудничества ИСП РАН и Samsung Corp., которые уже 10 лет ведут работу в рамках совместной лаборатории. За эти годы в ней было разработано несколько технологий, среди них  – Svace, основной инструмент статического анализа в Samsung Corp. Он используется в таких бизнес-подразделениях компании, как Health & Medical Equipment Business, Digital Appliances Business, Mobile Communications Business и др., а также в едином исследовательском центре Samsung Research.

Как рассказал ведущий инженер Software Quality Lab в Samsung Research Юил Ким, сейчас Svace использует более 10 тысяч разработчиков компании; с 2015 года проверено уже более 300 млрд. строк кода, создаваемого, в частности, для операционной системы Tizen (используется в телевизорах, часах, холодильниках и других устройствах). По словам руководителя Software Quality Lab в Samsung Research Чулджу Кима, в ближайшем будущем компания планирует расширить совместную деятельность с ИСП РАН. В лаборатории начнётся активное развитие технологий искусственного интеллекта.

На конференции объявили также о создании новой лаборатории ИСП РАН – совместной с компанией Huawei. Деятельность лаборатории направлена на исследования и разработки в области компиляторных технологий и компонентов операционных систем.

«Компания Huawei нацелена на долгосрочное сотрудничество. И в такой сложной наукоёмкой области, как развитие компиляторов, индустрия обязана работать с исследователями, – отметил представитель исследовательского центра Huawei в Санкт-Петербурге Сергей Якушкин, – В частности, я с удовольствием хочу рассказать об открытии лаборатории компании Huawei и Института системного программирования. Мы нацелены на совместную работу в плане подготовки специалистов и исследователей ключевых технологий в области системного программирования, а также совместного решения актуальных задач в индустрии для создания лучших устройств массового использования». 

На конференции стало известно и о запуске других международных проектов – например, в области цифровой медицины. Институт выиграл грант на реализацию проекта по разработке новых методов распознавания электрокардиограмм и созданию облачного сервиса для врачебных консультаций. Работа над ним будет проводиться совместно с Израильским технологическим институтом «Технион». Кроме того, ИСП РАН вместе с лабораторией геномной инженерии МФТИ и филиалом Гарвардской медицинской школы (Schepens Eye Research Institute of Massachusetts Eye and Ear) запустили проект по отбору искусственных фрагментов сетчатки глаза.

«Институт системного программирования сейчас находится на переднем крае науки, и мы в Академии очень рассчитываем на то, что он всегда будет занимать эту позицию, – заявил вице-президент РАН Валерий Козлов, – 25 лет по академическим меркам – не такой уж большой срок. Но сделано уже очень много».

Помимо научных докладов, посвящённых анализу программ, анализу данных и решению задач механики сплошных сред, участники конференции посетили интерактивный семинар. Его провёл ведущий разработчик решателя Z3 (Microsoft Research) Николай Бьорнер. Главными темами стали сотрудничество в области развития SMT-решателей для решения задач статического и динамического анализа и  возможность проведения совместных исследований. В рамках конференции прошла также выставка двадцати технологий ИСП РАН.

Открытая конференция ИСП РАН проводится ежегодно при поддержке IEEE и IEEE Computer Society, Российской академии наук, ФСТЭК России, Фонда перспективных исследований, а также бизнес-партнёров института.