июль    2025

Пн	Вт	Ср	Чт	Пт	Сб	Вс
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30	31

показать все 

03.07.2025

ISBC и «Мострансавто»: как RFID-технологии меняют будущее общественного транспорта

Читать далее 

01.07.2025

Только треть компаний автоматизировали развитие сотрудников — остальные ограничились наймом и документооборотом

Читать далее 

01.07.2025

Исследование: лишь около 10% корпоративных систем поддерживают современную аутентификацию

Читать далее 

27.06.2025

«Социальный код» представил ИИ-тренажер для развития soft skills в корпоративной среде

Читать далее 

27.06.2025

Короткий век ИИ-агентов: 40% проектов не доживут до 2027 года

Читать далее 

показать все 

30.06.2025

Нет никакого развития современных технологий!

Читать далее 

30.06.2025

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

Читать далее 

30.06.2025

Сергей Мисюра: «В техподдержке – 95% инцидентов уникальны по содержанию»

Читать далее 

26.06.2025

Я – Ваш ИИ-помощник

Читать далее 

26.06.2025

Новые технологии: зачем нам столько?

Читать далее 

18.04.2024

Как искусственный интеллект изменит экономику

Читать далее 

22.09.2023

Эпоха российской ориентации на Запад в сфере программного обеспечения завершилась

Читать далее 

22.09.2023

Сладкая жизнь

Читать далее 

22.09.2023

12 бизнес-концепций, которыми должны овладеть ИТ-руководители

Читать далее 

22.09.2023

Проще, чем кажется. Эталонная модель документооборота или краткое руководство по цифровой трансформации

Читать далее 

показать все 

Главная / Новости партнеров / Новые платформы, стандарты и проекты: в Москве прошла Открытая конференция ИСП РАН

Расширение международного сотрудничества с крупными ИТ-компаниями – эта тема стала одной из центральных на Открытой конференции ИСП РАН им. В.П. Иванникова, которая состоялась в конце 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, Российской академии наук, ФСТЭК России, Фонда перспективных исследований, а также бизнес-партнёров института.  

В начало⇑

Комментарии отсутствуют

Комментарии могут отставлять только зарегистрированные пользователи