ИСП РАН | Институт системного программирования им. В. П. Иванникова РАН

🔐Реальное состояние рынка безопасной разработки (РБПО) 28 октября в рамках SOC Forum 2026 состоится сессия, посвящённая актуальному состоянию рынка разработки безопасного программного обеспечения в России. Модератором выступит Вартан Падарян — заведующий лабораторией ИСП РАН. В центре дискуссии — практический вопрос: как выстроить эффективный процесс безопасной разработки из множества инструментов, не замедляя работу команд и выпуск цифровых продуктов. Участники обсудят: 🔵зрелость российского рынка РБПО и готовность заказчиков к сложным технологическим экосистемам; 🔵барьеры внедрения инс…

⚡️В ИСП РАН создана молодежная лаборатория по анализу мультимодальных биоинформатических данных. В Институте системного программирования им. В. П. Иванникова РАН создана молодежная Лаборатория программных систем в биомедицине. Новое подразделение входит в состав отдела «Медицинская информатика», возглавляемого академиком РАН Владимиром Бетелиным. Руководителем лаборатории стал кандидат физико-математических наук Евгений Карпулевич. Основным направлением работы лаборатории станет разработка программных систем и технологий искусственного интеллекта для комплексного анализа генетических и медиц…

🧬Развитие мРНК-технологий обсудили на заседании Научно-технического совета в Уфе 20 октября 2026 года в Уфе на площадке Башкирского государственного медицинского университета Минздрава России стартовало пятое заседание Научно-технического совета Научно-технологического центра развития мРНК-технологий. Директор ИСП РАН, академик РАН, член НТС Арутюн Аветисян представил доклад «Цифровая инфраструктура непрерывного развития мРНК-технологий: от бенчмарков до интеллектуальных моделей». В докладе была представлена концепция общей цифровой инфраструктуры, объединяющей клинические данные, геномную…

👨‍💻Svace для Go: доклад ИСП РАН на воркшопе KLEE 2026 Сотрудница ИСП РАН Варвара Дворцова выступила в Мюнхене на пятом международном воркшопе KLEE 2026 по символьному выполнению программ. Она представила доклад Interprocedural Symbolic Static Analysis for Go, посвящённый анализу проектов на языке Go с помощью инструмента Svace. Распространённые инструменты для Go — go vet, staticcheck и golangci-lint — в основном работают как простые статические анализаторы (линтеры): они выявляют локальные проблемы в коде, но не предназначены для поиска ошибок, проявляющихся при взаимодействии нескольких…

📢Ежегодная открытая конференция ИСП РАН 2026 9–11 декабря в Москве, на площадке НИТУ МИСИС, состоится Ежегодная открытая конференция ИСП РАН. В этом году она будет посвящена выдающемуся математику Андрею Николаевичу Колмогорову — в год первого вручения учреждённой Правительством Российской Федерации премии в области математики его имени. Работы Андрея Николаевича по теории вероятностей и математической статистике внесли фундаментальный вклад в математические основы современных методов машинного обучения и искусственного интеллекта. Участников конференции ждёт насыщенная программа: 🔵пленарн…

Пост без текста

Пост без текста

🌍Международные отношения, экономика и энергетика в цифровую эпоху Сегодня, 15 октября, в рамках Российской энергетической недели 2026 состоится сессия «Международные отношения, экономика и энергетика в цифровую эпоху». Сессию модерирует ректор МГИМО МИД России, академик РАН Анатолий Торкунов. Участники обсудят цифровую трансформацию международных отношений и мировой экономики, роль технологий в развитии современной энергетики, энергетическую безопасность и перспективы международного сотрудничества в сфере цифровых инноваций. ✔️В сессии примет участие директор ИСП РАН, академик РАН Арутюн А…

📢На РБПО.РФ опубликована первая редакция проекта национального стандарта по динамическому анализу ПО ФСТЭК России и ИСП РАН подготовили первую редакцию проекта национального стандарта «Защита информации. Разработка безопасного программного обеспечения. Технологии динамического анализа. Общие требования». Проект разработан в соответствии с Программой национальной стандартизации на 2026 год и Планом работы Технического комитета по стандартизации «Защита информации» (ТК 362) на 2026 год. На РБПО.РФ опубликованы не только материалы доклада, представленного 12 октября 2026 года на заседании под…

Пост без текста