ИСП РАН

2023-06-06 15:28:21 Уважаемые коллеги!

Напоминаем, что уже в эту пятницу, 9 июня, в Новгородской технической школе состоится III ежегодная конференция «Анализ данных в медицине». Запланированы выступления представителей ведущих научных организаций России: Сеченовского университета, СПбПУ, Пироговского центра, МНОЦ МГУ и других.

Подробная программа: https://www.digital-med.ru/#Agenda

Время начала конференции: 09.45

Место проведения: г. Великий Новгород, ул. Великая, дом 18а, https://yandex.ru/maps/-/CCUwz2qg9C

Регистрация на конференцию уже закрыта, но посещение возможно – без получения беджа Открыть/Комментировать

2023-06-02 17:41:29 На сайте фестиваля Positive Hack Days выложена видеозапись выступления Алексея Хорошилова - ведущего научного сотрудника ИСП РАН и руководителя Технологического центра исследования безопасности ядра Linux. Тема — "Опыт тестирования и верификации ядра Linux":
https://phdays.com/broadcast/?talk=152&tag=development.

Кроме того, Алексей Хорошилов принял участие в дискуссии, посвященной развитию отечественных операционных систем:
https://phdays.com/broadcast/?talk=392&tag=main. Открыть/Комментировать

2023-06-02 16:39:27 Открыть/Комментировать

2023-06-01 11:01:36 Открыть/Комментировать

2023-06-01 11:00:55 Открыть/Комментировать

2023-06-01 11:00:55 В Пензенском государственном технологическом университете состоялась ежегодная конференция молодых учёных в области программной инженерии – SYRCoSe (Spring/Summer Young Researchers' Colloquium on Software Engineering). Организаторами выступили ИСП РАН, СПбГУ и НИУ ВШЭ; в этом году к ним присоединился ПензГТУ.

В программу мероприятия вошли 28 докладов сотрудников ведущих университетов и институтов России, в числе которых представители организаторов конференции, а также МГУ им. М.В. Ломоносова, МГТУ им. Н.Э. Баумана, Университета Иннополис, ИТМО.

Тематика докладов охватила ряд актуальных вопросов программной инженерии, анализа данных, проектирования цифровой аппаратуры и др. Были два приглашенных доклада: Шамиль Курмангалеев (ИСП РАН) рассказал о комплексном использовании технологий для обеспечения кибербезопасности (статического анализа исходного и бинарного кода, динамического анализа и фаззинга). Дмитрий Кознов (СПбГУ) посвятил свой доклад идее совмещения модельно-ориентированного подхода с использованием специализированных языков для упрощения разработки ПО.

SYRCoSE проводится с 2007 года в мае-июне – до начала летних каникул. Участники конференции уже собирались в Москве, Санкт-Петербурге, Нижнем Новгороде, Екатеринбурге, Перми, Казани, Самаре, Иннополисе, Великом Новгороде и Саратове. Главная цель SYRCoSE – предоставить возможность студентам, аспирантам и молодым учёным поделиться результатами своих исследований, а также получить опыт написания и презентации научных докладов в международном формате. Избранные статьи участников публикуются в «Трудах ИСП РАН», которые индексируются в РИНЦ и включены в перечень ВАК.

Программный комитет конференции возглавляют д.ф.-м.н. Александр Петренко (заведующий отделом технологий программирования ИСП РАН) и д.ф.-м.н. Андрей Терехов (заведующий кафедрой системного программирования механико-математического факультета СПбГУ). Организационным комитетом руководит Александр Камкин (ведущий научный сотрудник ИСП РАН).

Источник фото: http://www.penzgtu.ru/ Открыть/Комментировать

2023-05-30 11:40:55 Старший научный сотрудник ИСП РАН Дмитрий Мельник выступил на конференции C++ Russia 2023 с докладом «Безопасный компилятор: надёжная оптимизация и улучшение защищённости кода».

Презентация доступна по ссылке.

Конференция C++ Russia проводится ежегодно с 2015 года. Открыть/Комментировать

2023-05-25 17:21:06 Арутюн Аветисян, директор ИСП им. В.П. Иванникова РАН, на форуме "Цифровая экономика: технологии доверенного искусственного интеллекта" для «Научно-образовательной политики» Открыть/Комментировать

2023-05-25 17:21:06 Открыть/Комментировать

2023-05-15 18:12:01 Открыть/Комментировать