Календарь мероприятий
март 2024
Пн |
Вт |
Ср |
Чт |
Пт |
Сб |
Вс |
| | | | 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 | |
показать все
Новости партнеров
Центр расследований ГК InfoWatch: новое решение ускорит расследование инцидентов ИБ в три раза
Читать далее
RIGF 2024: опубликована программа форума
Читать далее
ФОРС Телеком разработал новый инструмент инкрементальной миграции данных из СУБД Oracle в СУБД PostgreSQL
Читать далее
Рутокен MFA обеспечивает двухфакторную аутентификацию при входе в локальные учетные записи РЕД ОС
Читать далее
показать все
Статьи
В 2024 году в России и мире вырастут объемы применения AR/VR
Читать далее
Цифровые технологии: надежды и риски
Читать далее
Будут ли востребованы услуги технической поддержки софта Oracle в России в ближайшие годы?
Читать далее
Здания с признаками интеллекта. Как Сергей Провалихин автоматизирует дома и производства
Читать далее
Какими технологиями будет жить бизнес в 2024?
Читать далее
Эпоха российской ориентации на Запад в сфере программного обеспечения завершилась
Читать далее
Сладкая жизнь
Читать далее
12 бизнес-концепций, которыми должны овладеть ИТ-руководители
Читать далее
Проще, чем кажется. Эталонная модель документооборота или краткое руководство по цифровой трансформации
Читать далее
Какие hard skills вам нужны?
Читать далее
показать все
|
Новые платформы, стандарты и проекты: в Москве прошла Открытая конференция ИСП РАН
Главная / Новости партнеров / Новые платформы, стандарты и проекты: в Москве прошла Открытая конференция ИСП РАН
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
Расширение международного сотрудничества с крупными ИТ-компаниями – эта тема стала одной из центральных на Открытой конференции ИСП РАН им. В.П. Иванникова, которая состоялась в конце 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, Российской академии наук, ФСТЭК России, Фонда перспективных исследований, а также бизнес-партнёров института. В начало⇑
Facebook
Мой мир
Вконтакте
Одноклассники
Google+
Комментарии отсутствуют
Комментарии могут отставлять только зарегистрированные пользователи
|
Вакансии на сайте Jooble
|