январь    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

показать все 

27.12.2024

РАЭК определила лидера среди классифайдов по числу объявлений о долгосрочной аренде

Читать далее 

26.12.2024

За экспертизой в инфобезе — к «Газинформсервису»

Читать далее 

26.12.2024

Компания «ИнфоТеКС» объявляет о выпуске сертифицированной версии ViPNet xFirewall 5.6.2

Читать далее 

19.12.2024

«ГенИИ» завершили год разговором о главной технологии FinTech

Читать далее 

17.12.2024

РДТЕХ внедряет новый премиальный стандарт сервисной поддержки

Читать далее 

показать все 

12.12.2024

Что следует учитывать ИТ-директорам, прежде чем претендовать на должность генерального директора?

Читать далее 

11.12.2024

Сетевая инфраструктура, сетевые технологии: что лучше – самостоятельная поддержка или внешнее обслуживание?

Читать далее 

22.11.2024

Тандем технологий – драйвер инноваций.

Читать далее 

21.11.2024

ИИ: маршрут не построен, но уже проектируется

Читать далее 

18.11.2024

Глеб Шкрябин: «Надежные и масштабируемые системы — основа стабильной работы бизнеса в условиях больших нагрузок»

Читать далее 

14.10.2024

Елена Ситдикова: «На разработчиках программного обеспечения для транспорта лежит большая ответственность перед пассажирами»

Читать далее 

13.06.2024

Взгляд в перспективу: что будет двигать отрасль информационной безопасности

Читать далее 

18.04.2024

5 способов повысить безопасность электронной подписи

Читать далее 

18.04.2024

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

Читать далее 

18.04.2024

Неочевидный САПР: выход ПО за рамки конструкторской деятельности

Читать далее 

показать все 

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

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

В начало⇑

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

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