ИСП РАН
رفتن به کانال در Telegram
Институт системного программирования им. В.П. Иванникова РАН — научно-исследовательская организация в сфере ИТ, объединяющая науку, образование и инновации. ИСП РАН в MAX: https://max.ru/id7709006125_gos3 Официальный сайт: https://www.ispras.ru
نمایش بیشتر1 819
مشترکین
+124 ساعت
+137 روز
+3130 روز
در حال بارگذاری داده‌ها
کانال‌های مشابه
ابر برچسب‌ها
اشارات ورودی و خروجی
---
---
---
---
---
---
جذب مشترکین
نوامبر '26نوامبر '26
نوامبر '26
+16
در 1 کانال‌ها
اکتبر '26
+34
در 5 کانال‌ها
Get PRO
سپتامبر '26
+14
در 2 کانال‌ها
Get PRO
اوت '26
+10
در 1 کانال‌ها
Get PRO
ژوئیه '26
+19
در 4 کانال‌ها
Get PRO
ژوئن '26
+29
در 6 کانال‌ها
Get PRO
مه '26
+44
در 5 کانال‌ها
Get PRO
آوریل '26
+77
در 8 کانال‌ها
Get PRO
مارس '26
+36
در 4 کانال‌ها
Get PRO
فوریه '26
+33
در 6 کانال‌ها
Get PRO
ژانویه '26
+23
در 1 کانال‌ها
Get PRO
دسامبر '25
+127
در 29 کانال‌ها
Get PRO
نوامبر '25
+62
در 8 کانال‌ها
Get PRO
اکتبر '25
+54
در 9 کانال‌ها
Get PRO
سپتامبر '25
+36
در 13 کانال‌ها
Get PRO
اوت '25
+31
در 8 کانال‌ها
Get PRO
ژوئیه '25
+28
در 1 کانال‌ها
Get PRO
ژوئن '25
+53
در 9 کانال‌ها
Get PRO
مه '25
+38
در 8 کانال‌ها
Get PRO
آوریل '25
+29
در 3 کانال‌ها
Get PRO
مارس '25
+30
در 5 کانال‌ها
Get PRO
فوریه '25
+30
در 3 کانال‌ها
Get PRO
ژانویه '25
+52
در 5 کانال‌ها
Get PRO
دسامبر '24
+81
در 6 کانال‌ها
Get PRO
نوامبر '24
+61
در 10 کانال‌ها
Get PRO
اکتبر '24
+59
در 9 کانال‌ها
Get PRO
سپتامبر '24
+41
در 11 کانال‌ها
Get PRO
اوت '24
+37
در 6 کانال‌ها
Get PRO
ژوئیه '24
+142
در 7 کانال‌ها
Get PRO
ژوئن '24
+75
در 14 کانال‌ها
Get PRO
مه '24
+51
در 15 کانال‌ها
Get PRO
آوریل '24
+27
در 15 کانال‌ها
Get PRO
مارس '24
+31
در 6 کانال‌ها
Get PRO
فوریه '24
+48
در 8 کانال‌ها
Get PRO
ژانویه '24
+86
در 8 کانال‌ها
Get PRO
دسامبر '23
+46
در 16 کانال‌ها
Get PRO
نوامبر '23
+61
در 19 کانال‌ها
Get PRO
اکتبر '23
+26
در 9 کانال‌ها
Get PRO
سپتامبر '23
+44
در 0 کانال‌ها
Get PRO
اوت '23
+25
در 0 کانال‌ها
Get PRO
ژوئیه '23
+43
در 0 کانال‌ها
Get PRO
ژوئن '23
+35
در 0 کانال‌ها
Get PRO
مه '23
+29
در 0 کانال‌ها
Get PRO
آوریل '23
+14
در 0 کانال‌ها
Get PRO
مارس '23
+17
در 0 کانال‌ها
Get PRO
فوریه '23
+18
در 0 کانال‌ها
Get PRO
ژانویه '23
+27
در 0 کانال‌ها
Get PRO
دسامبر '22
+28
در 0 کانال‌ها
Get PRO
نوامبر '22
+38
در 0 کانال‌ها
Get PRO
اکتبر '22
+22
در 0 کانال‌ها
Get PRO
سپتامبر '22
+30
در 0 کانال‌ها
Get PRO
اوت '22
+17
در 0 کانال‌ها
Get PRO
ژوئیه '22
+32
در 0 کانال‌ها
Get PRO
ژوئن '22
+27
در 0 کانال‌ها
Get PRO
مه '22
+17
در 0 کانال‌ها
Get PRO
آوریل '22
+26
در 0 کانال‌ها
Get PRO
مارس '22
+50
در 0 کانال‌ها
Get PRO
فوریه '22
+8
در 0 کانال‌ها
Get PRO
ژانویه '22
+12
در 0 کانال‌ها
Get PRO
دسامبر '21
+13
در 0 کانال‌ها
Get PRO
نوامبر '21
+7
در 0 کانال‌ها
Get PRO
اکتبر '21
+23
در 0 کانال‌ها
Get PRO
سپتامبر '21
+13
در 0 کانال‌ها
Get PRO
اوت '21
+11
در 0 کانال‌ها
Get PRO
ژوئیه '21
+3
در 0 کانال‌ها
Get PRO
ژوئن '21
+11
در 0 کانال‌ها
Get PRO
مه '21
+210
در 0 کانال‌ها
| تاریخ | رشد مشترکین | اشارات | کانال‌ها | |
| 08 نوامبر | 0 | |||
| 07 نوامبر | +1 | |||
| 06 نوامبر | +2 | |||
| 05 نوامبر | +3 | |||
| 04 نوامبر | 0 | |||
| 03 نوامبر | +3 | |||
| 02 نوامبر | +7 | |||
| 01 نوامبر | 0 |
پست‌های کانال
✍️О технологиях, энергетике и отечественной школе программирования
Вышло интервью директора ИСП РАН, академика РАН Арутюна Аветисяна «Детской редакции» в рамках Российской энергетической недели 2026.
В ходе беседы обсудили:
⏺Почему развитие ИИ невозможно без энергетической инфраструктуры;
⏺Традиции отечественного системного программирования и его роль в создании надёжных цифровых систем;
⏺Почему сегодня особенно востребованы специалисты на стыке нескольких дисциплин.
🗣Смотреть интервью
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС
| 2 |  Глава РАН академик Геннадий Красников поздравил граждан России с Днём народного единства.
Геннадий Красников отметил, что этот праздник вновь обращает нас к страницам прошлого, где проявилась главная сила нашего народа — умение сплотиться перед лицом испытаний и встать на защиту родной земли.
«Наука и научное сообщество страны никогда не оставались в стороне от этого общего дела. Вся наша история свидетельствует, что в реализации масштабных государственных проектов именно солидарность помогала достигать результатов, возвеличивающих державу. Наша страна день за днём отвечает на новые непростые вызовы. Потому сегодня особенно важно опираться на уроки истории. Живая связь поколений для каждого из нас является непреходящей ценностью и прочным фундаментом гражданского долга», — говорится в поздравлении.
Президент РАН пожелал успехов в труде на благо Отечества и всего самого доброго.
✦ Российская академия наук в MAX | 512 |
| 3 | 🗣Как защитить цифровой мир и сделать ИИ надёжным?
Вышел новый выпуск программы «Новый мир» с участием директора ИСП РАН, академика РАН Арутюна Аветисяна.
Вместе с ведущей Мариной Ким директор ИСП РАН обсудил уязвимость современной цифровой инфраструктуры, развитие технологий искусственного интеллекта и подходы к созданию безопасных систем.
⏺Почему цифровым системам необходимо доверие? В каких задачах нельзя полностью полагаться на искусственный интеллект? Как ИИ уже применяется в персонализированной медицине и что необходимо сделать, чтобы технологии служили человеку?
Смотреть выпуск:
📺VK Видео
📺RUTUBE | 593 |
| 4 |  +4🤖Сотрудники ИСП РАН представили разработки в области ИИ и вычислительной гидродинамики на конгрессе «Русский инженер»
28 октября на площадке IV Международного конгресса «Русский инженер» состоялась Конференция по математическому моделированию и искусственному интеллекту, в которой приняли участие сотрудники лаборатории цифрового моделирования технических систем ИСП РАН: заведующий лабораторией Андрей Епихин и научный сотрудник Софья Ярикова.
✔️В рамках сессии «Технологии искусственного интеллекта в инженерной практике» Андрей Епихин представил доклад «Разработка и апробация AI-агента для вычислительной гидродинамики на базе свободного ПО в концепции автономного инженера-расчетчика». Он рассказал о разработке AI-агента для автоматизации процессов при решении задач вычислительной гидродинамики, которая ведётся в лаборатории.
✔️Софья Ярикова выступила в секции «Вычислительная гидродинамика» с докладом «Опыт применения свободного ПО для решения многомасштабных промышленных задач вычислительной гидродинамики». На примере реализованных проектов лаборатории она представила возможности открытых вычислительных инструментов, их адаптации и совместного применения для решения промышленных задач.
По решению организаторов доклад Софьи был признан лучшим в секции.
⏺Конференция по математическому моделированию и искусственному интеллекту — ежегодная отраслевая площадка для разработчиков и пользователей отечественного инженерного ПО. Проводится с 2021 года по инициативе Госкорпорации «Росатом» при поддержке Минцифры России, Минпромторга России и Минобрнауки России. В 2026 году её программа была посвящена развитию систем инженерного анализа и применению искусственного интеллекта в инженерных расчётах. Конференция проходит в рамках Международного конгресса «Русский инженер».
🤩Фото: пресс-центр RUCAE
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 596 |
| 5 |  +3😎ИСП РАН представил подход к созданию доверенной платформы автономных систем на «Экстремальной робототехнике»
29 октября директор ИСП РАН, академик РАН Арутюн Аветисян выступил на пленарном заседании 37-й Международной научно-технической конференции «Экстремальная робототехника».
Его выступление было посвящено формированию консорциума для создания доверенной универсальной платформы на базе Центра разработки программно-аппаратных технологий автономных систем ИСП РАН.
✔️Решение о назначении Института в качестве площадки для организации Центра было принято по итогам заседания Совета при Президенте Российской Федерации по науке и образованию, которое состоялось 11 августа 2026 года.
Центр будет формировать научно-технологическую основу для разработки отечественных автономных систем, развивать технологии системного программирования, обеспечивать надёжность и безопасность программно-аппаратных решений.
В своём выступлении директор ИСП РАН подчеркнул, что Центр должен объединить научные, образовательные и индустриальные организации в консорциум. Главным результатом его работы станет репозиторий доверенных компонентов, технологий разработки безопасного ПО и доверенного ИИ, адаптированных к особенностям автономных систем.
✈️Модератором пленарной дискуссии выступил заместитель Министра промышленности и торговли Российской Федерации Василий Шпак. В ней также приняли участие ректор МГТУ им. Н. Э. Баумана Михаил Гордин, директор — главный конструктор Государственного научного центра Российской Федерации «Центральный научно-исследовательский и опытно-конструкторский институт робототехники и технической кибернетики» Александр Лопота, заместитель исполнительного директора — директор по стратегическим партнёрствам компании «Иннопрактика» Анастасия Павленко, депутат Государственной Думы Денис Кравченко и другие представители науки, промышленности и технологических компаний.
⏺Конференция прошла в Конгресс-центре МГТУ им. Н. Э. Баумана в Москве, в рамках IV Международного конгресса «Русский инженер».
🤩Фото: Оргкомитет 37-ой Международной научно-технической конференции «Экстремальная робототехника»
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 848 |
| 6 |  +5🤖Как проверять качество генеративного ИИ и на каких условиях применять его в работе органов власти?
Эти вопросы стали темой секции «Искусственный интеллект в государственном и муниципальном управлении: динамические бенчмарки и графы знаний — как понять генеративный ИИ?», прошедшей 23 октября на III Международной научно-практической конференции «Наука для государственного управления в России» в Президентской академии.
✔️В работе секции приняли участие сотрудники Исследовательского центра доверенного искусственного интеллекта ИСП РАН: руководитель Центра Денис Турдаков и старший научный сотрудник Илья Макаров. Одним из модераторов выступил директор Исследовательского центра ИИ Президентской академии, сотрудник ИЦ ДИИ ИСП РАН Сергей Боловцов.
Денис Турдаков рассказал о необходимости независимой оценки ИИ-систем. Их качество и безопасность должны проверяться с учётом конкретной сферы применения, состава решения и условий его работы.
Сегодня создать ИИ-решение стало значительно проще, но это не означает, что ему можно доверять. Для объективной оценки качества и безопасности таких систем необходима независимая инфраструктура тестирования, основанная на отраслевых и динамических бенчмарках, позволяющих проверять не только отдельные модели, но и комплексные решения в условиях их реального применения,
— отметил он.
Илья Макаров представил систему AI Researcher и обозначил, как меняется применение ИИ в науке:
Мы видим, как искусственный интеллект переходит от роли помощника учёного к автоматизации практически полного цикла научного исследования — от анализа литературы и выдвижения гипотез до проведения экспериментов и подготовки публикаций. При этом ключевым вызовом становится не столько генерация новых результатов, сколько обеспечение их достоверности, воспроизводимости и независимой проверки, а также определения значимости полученного знания, за что по-прежнему отвечает человек.
⏺Модераторами секции также стали заместитель директора Центра проектирования, методического сопровождения и мониторинга качества образовательных программ Президентской академии Игорь Москалёв и Робот Игорёк.
🤩Фото: Президентская академия
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 822 |
| 7 |  👩🎓На РБПО.рф появился новый раздел «Образование»
На информационном портале РБПО.рф открыт новый раздел «Образование», посвящённый подготовке специалистов в области разработки безопасного программного обеспечения (РБПО).
Развитие образовательного направления — важная часть работы по распространению практик безопасной разработки ПО. Для их эффективного внедрения необходимы не только современные инструменты и методические рекомендации, но и специалисты, обладающие соответствующими знаниями и практическими навыками.
Новый раздел призван объединить образовательные материалы и ресурсы, которые будут полезны как начинающим специалистам, так и действующим разработчикам, инженерам и экспертам по информационной безопасности, заинтересованным в повышении квалификации в области РБПО.
В дальнейшем планируется расширение раздела, в том числе публикация эксклюзивных обучающих материалов, посвящённых различным аспектам разработки безопасного ПО и применения соответствующих практик и инструментов.
Развитие образовательного направления станет ещё одним шагом в формировании единой информационно-методической среды для профессионального сообщества РБПО.
✔️Портал продолжит развиваться: планируется публикация новых материалов, расширение существующих разделов и совершенствование функциональных возможностей ресурса. Обо всех значимых обновлениях будем сообщать дополнительно.
🔗Перейти в раздел
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 452 |
| 8 |  +3🛡Передовые инструменты РБПО создают специалисты с фундаментальной подготовкой
28 октября сотрудник ИСП РАН Дмитрий Пономарев выступил на круглом столе «Инженерная школа информационной безопасности» в Конгресс-центре МГТУ им. Н. Э. Баумана.
В рамках открытого диалога вузов с индустрией Дмитрий представил позицию ИСП РАН по подготовке специалистов в области разработки безопасного программного обеспечения (РБПО).
Он отметил, что создание передовых инструментов требует глубоких компетенций на стыке системного программирования, программной инженерии, математики и практики. В качестве примера был приведён статический анализатор Svace, разработанный в ИСП РАН.
Нельзя быть хорошим специалистом в РБПО, если не понимаешь, как работает компилятор. А чтобы понимать принципы его работы и возможности оптимизации, необходима серьёзная математическая подготовка,
— подчеркнул Дмитрий, процитировав директора ИСП РАН, академика РАН Арутюна Аветисяна.
⏺В выступлении также шла речь о развитии учебных центров и центров экспертизы с практическими полигонами. Такие площадки могут объединять сильные научные школы, готовить специалистов высокого уровня и в перспективе тиражировать лучшие практики в регионы.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 831 |
| 9 | +3 🛡Передовые инструменты РБПО создают специалисты с фундаментальной подготовкой
28 октября сотрудник ИСП РАН Дмитрий Пономарев выступил на круглом столе «Инженерная школа информационной безопасности» в Конгресс-центре МГТУ им. Н. Э. Баумана.
В рамках открытого диалога вузов с индустрией Дмитрий представил позицию ИСП РАН по подготовке специалистов в области разработки безопасного программного обеспечения (РБПО).
Он отметил, что создание передовых инструментов требует глубоких компетенций на стыке системного программирования, программной инженерии, математики и практики. В качестве примера был приведён статический анализатор Svace, разработанный в ИСП РАН.
Нельзя быть хорошим специалистом в РБПО, если не понимаешь, как работает компилятор. А чтобы понимать принципы его работы и возможности оптимизации, необходима серьёзная математическая подготовка,
— подчеркнул Дмитрий, процитировав директора ИСП РАН, академика РАН Арутюна Аветисяна.
⏺В выступлении также шла речь о развитии учебных центров и центров экспертизы с практическими полигонами. Такие площадки могут объединять сильные научные школы, готовить специалистов высокого уровня и в перспективе тиражировать лучшие практики в регионы.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 |
| 10 |  پیام ویدیو | 780 |
| 11 |  پیام ویدیو | 782 |
| 12 |  پیام ویدیو | 349 |
| 13 |  🗣Прямо сейчас в рамках форума «Россия — Африка» проходит сессия «ИИ как фактор развития России и Африки: наука и кадры»
В ней участвует директор ИСП РАН, академик РАН Арутюн Аветисян. Он выступает с докладом «ИСП РАН: технологии доверенного искусственного интеллекта и перспективы сотрудничества с Африкой».
Среди участников сессии — генеральный директор Института AIRI, декан ФИИ МГУ Иван Оселедец, первый заместитель Министра экономического развития России Максим Колесников, министр цифрового развития Буркина-Фасо Амината Зербо Сабане, а также представители научных организаций, государственных структур и технологических компаний России и африканских стран.
✔️В центре обсуждения — развитие научного и образовательного сотрудничества в сфере ИИ, подготовка кадров и внедрение прикладных решений в здравоохранении, промышленности, сельском хозяйстве и других областях.
⏺Смотреть трансляцию
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 829 |
| 14 |  🔵Реальное состояние рынка безопасной разработки (РБПО)
28 октября в рамках SOC Forum 2026 состоится сессия, посвящённая актуальному состоянию рынка разработки безопасного программного обеспечения в России.
Модератором выступит Вартан Падарян — ведущий научный сотрудник ИСП РАН.
В центре дискуссии — практический вопрос: как выстроить эффективный процесс безопасной разработки из множества инструментов, не замедляя работу команд и выпуск цифровых продуктов.
🔒Участники обсудят:
🔵зрелость российского рынка РБПО и готовность заказчиков к сложным технологическим экосистемам;
🔵барьеры внедрения инструментов безопасной разработки в крупных организациях;
🔵взаимодействие отечественных разработчиков решений, интеграторов и заказчиков;
🔵перспективы РБПО как обязательной практики для индустрии в ближайшие годы.
В рамках сессии будут представлены инициатива «Карта рынка РБПО РФ» и анонс новых аналитический матералов от издания «Информационная безопасность» (Гротек).
✔️В дискуссии примут участие представители разработчиков ПО, интеграторов, консультантов и производителей инструментов.
♾️Программа форума
🤩Фото: SOC Forum 2025
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 439 |
| 15 |  🔐ИСП РАН на ITSEC 2026: безопасность локальных ИИ-моделей
13 октября в Москве в рамках Форума ITSEC 2026 состоялась конференция «Построение безопасности локальных ИИ-моделей». Эксперты обсудили защиту ИИ-инфраструктуры, риски применения локальных моделей, а также подходы к регулированию и сертификации решений с технологиями искусственного интеллекта.
Конференцию открыла Ирина Гефнер, заместитель начальника Управления ФСТЭК России. В своём выступлении она рассказала о совершенствовании требований по защите информационных систем, в которых применяются технологии искусственного интеллекта.
Советник директора ИСП РАН Дмитрий Пономарёв выступил спикером ключевого круглого стола. Совместно с Андреем Кузнецовым, директором департамента внедрения и развития практик НТЦ «Фобос-НТ», он также представил доклад «Применимость Методики выявления уязвимостей и недекларированных возможностей для средств защиты информации с ИИ: взгляд испытательной лаборатории». Участники обсудили возможные подходы к применению Методики при сертификации средств защиты информации, включающих ИИ-модели.
✔️ITSEC — профессиональная площадка в сфере информационной безопасности, объединяющая регуляторов, заказчиков, разработчиков, научные организации и экспертов отрасли. В 2026 году форум прошёл в гибридном формате: очная программа состоялась 13–14 октября, онлайн-программа — с 6 по 16 октября.
➡️Запись конференции и материалы
📸Фото: ГРОТЕК
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 57 |
| 16 |  📣 GuardConf 2026 для тех, кто создаёт софт и отвечает за его развитие
Импортозамещение постепенно уступает место другим факторам роста российского ПО. Всё больше внимания вендоры уделяют конкурентоспособности продуктов, защите собственных технологий и моделям монетизации.
За этими задачами стоят решения продуктовых и инженерных команд. На GuardConf 2026 обсудим их вместе с CTO, CPO, руководителями разработки, продакт-менеджерами и разработчиками. В программе два трека:
🗣 «Стратегия и управление»
Как находить своё место на рынке, принимать решения до запуска продукта и выбирать модель монетизации. Также разберут коммерческую пользу защиты ПО, облачное лицензирование и технологические альянсы.
🎯 «Инструменты разработчика»
Что разрабатывать самим, а где использовать готовые решения, как ускорять путь от идеи до релиза и работать с уязвимостями, сохраняя качество и безопасность продукта.
На дискуссии сторонники и скептики ИИ обсудят, действительно ли он ускоряет разработку, как меняет ценность экспертизы и какие риски создаёт для продукта.
Также на конференции представят «Оценку российского рынка ПО участниками отрасли с прогнозом на 2027 год»: что влияло на выручку вендоров в 2026-м и чего они ожидают дальше.
А после — нетворкинг, чтобы обсудить услышанное, сравнить подходы и завести новые знакомства.
📍Дата и место проведения:
12 ноября 2026 г. | 10:00 (МСК)
Москва, Ленинская слобода, 26, стр. 11, Лофт#2 или онлайн
❗️ Зарегистрироваться
💬 Telegram | 📤 MAX | 💙 VK | 🌐 Сайт | 783 |
| 17 |  ✒В ИСП РАН создана молодежная лаборатория по анализу мультимодальных биоинформатических данных.
В Институте системного программирования им. В. П. Иванникова РАН создана молодежная Лаборатория программных систем в биомедицине. Новое подразделение входит в состав отдела «Медицинская информатика», возглавляемого академиком РАН Владимиром Бетелиным. Руководителем лаборатории стал кандидат физико-математических наук Евгений Карпулевич.
Основным направлением работы лаборатории станет разработка программных систем и технологий искусственного интеллекта для комплексного анализа генетических и медицинских данных. Исследования будут направлены на создание масштабируемых биоинформатических конвейеров, интеллектуальных моделей обработки биомедицинских данных и программных инструментов для персонализированной медицины.
В рамках работатории планируется развивать методы анализа транскриптомных данных и методы искусственного интеллекта для анализа цифровых гистологических изображений. Ключевая перспективная задача лаборатории — объединить молекулярно-генетические данные и данные других модальностей (в частности изображения) для создания мультимодальных моделей искусственного интеллекта. Подобные модели позволят исследовать взаимосвязи между генетическими особенностями опухолей и их видимыми характеристиками для диагностики и прогнозирования течения онкологических заболеваний.
✔️Научная программа на 2026–2028 годы предусматривает создание модульных программных конвейеров и их развертывание в ЦКП ИСП РАН.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 793 |
| 18 |  +3🔵Развитие мРНК-технологий обсудили на заседании Научно-технического совета в Уфе
20 октября 2026 года в Уфе на площадке Башкирского государственного медицинского университета Минздрава России стартовало пятое заседание Научно-технического совета Научно-технологического центра развития мРНК-технологий.
Директор ИСП РАН, академик РАН, член НТС Арутюн Аветисян представил доклад «Цифровая инфраструктура непрерывного развития мРНК-технологий: от бенчмарков до интеллектуальных моделей».
В докладе была представлена концепция общей цифровой инфраструктуры, объединяющей клинические данные, геномную информацию, результаты биологической валидации и вычислительные модели. Такой подход позволяет выстроить непрерывный цикл и сократить время на обратную связь и принятие решений.
✈️В пленарном заседании также приняли участие сопредседатель НТС, научный руководитель НИЦЭМ им. Н. Ф. Гамалеи, академик РАН Александр Гинцбург; ответственный секретарь НТС, заместитель директора по научной работе НИЦЭМ им. Н. Ф. Гамалеи Владимир Гущин и заместитель генерального директора по науке ФГБУ «НМИЦ радиологии» Минздрава России Пётр Шегай. Они представили результаты первого применения персонализированной мРНК-онковакцины в России и рассказали о планах дальнейшего развития технологии.
Также среди участников пленарного заседания — сопредседатель НТС, генеральный директор НМИЦ радиологии Минздрава России, академик РАН Андрей Каприн; ректор БГМУ академик РАН Валентин Павлов; член НТС Александр Габибов и другие представители ведущих научных организаций.
⏺По видеоконференцсвязи в заседании принял участие заведующий отделом «медицинская информатика» ИСП РАН, академик Владимир Бетелин. Он выступил с докладом о достоверности исходных данных при неаналитическом решении практических задач в медицине.
💊В рамках заседания также обсуждались расширение применения мРНК-технологий, развитие производственных процессов, новые проекты в онкологии, терапевтической медицине и профилактике заболеваний.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 831 |
| 19 |  +3💬Svace для Go: доклад ИСП РАН на воркшопе KLEE 2026
Сотрудница ИСП РАН Варвара Дворцова выступила в Мюнхене на пятом международном воркшопе KLEE 2026 по символьному выполнению программ. Она представила доклад Interprocedural Symbolic Static Analysis for Go, посвящённый анализу проектов на языке Go с помощью инструмента Svace.
Распространённые инструменты для Go — go vet, staticcheck и golangci-lint — в основном работают как простые статические анализаторы (линтеры): они выявляют локальные проблемы в коде, но не предназначены для поиска ошибок, проявляющихся при взаимодействии нескольких функций или модулей.
Svace перехватывает оригинальную сборку проекта и строит его точное представление для различных систем сборки, включая make, Bazel, Please, Pants и других. На этой основе инструмент выполняет межпроцедурный анализ с учётом путей выполнения программы, используя методы символьного выполнения.
✔️Для анализа Go в Svace была добавлена поддержка специфичных конструкций языка: отложенных вызовов defer, замыканий, кортежей и моделирования go map.
⚙️Практическую ценность подхода подтвердил анализ открытых проектов: по найденным ошибкам разработчики направили семь исправлений, пять из которых уже приняты в основные ветки проектов.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 878 |
| 20 |  👨💻 Ежегодная открытая конференция ИСП РАН 2026
9–11 декабря в Москве, на площадке НИТУ МИСИС, состоится Ежегодная открытая конференция ИСП РАН. В этом году она будет носить имя выдающегося математика Андрея Николаевича Колмогорова — в год первого вручения учреждённой Правительством Российской Федерации премии в области математики его имени. Работы Андрея Николаевича по теории вероятностей и математической статистике внесли фундаментальный вклад в математические основы современных методов машинного обучения и искусственного интеллекта.
Участников конференции ждёт насыщенная программа:
🔵пленарные сессии о математике и ИИ, системном программировании и кибербезопасности, образовании и подготовке ИТ-кадров;
🔵семинар «Математические основы искусственного интеллекта»;
🔵круглые столы по ИИ в мегасайнс-проектах, фарминновациям, образованию и биоэтике;
…а также другие мероприятия, посвящённые развитию информационных технологий, науки и образования.
Также в программе — сессия по вопросам внедрения и развития практики и регуляторики РБПО, совместная конференция АРПП «Отечественный софт» и ИСП РАН, конференция Медиа Группы Авангард и ИСП РАН «Кадровое обеспечение доверенных информационных технологий», секции по технологиям анализа и трансформации программ, доверенному ИИ, цифровой медицине, лингвистическим системам, микроэлектронике, управлению данными и другим актуальным направлениям.
💬Открытая конференция ИСП РАН традиционно станет пространством для диалога науки и индустрии: участники смогут обменяться опытом внедрения технологий, обсудить актуальные задачи ИТ-отрасли, познакомиться с разработками Института и компаний-партнёров на технологической выставке.
✔️ИСП РАН приглашает исследователей, разработчиков, представителей ИТ-компаний, органов власти и образовательных организаций присоединиться к профессиональному диалогу, представить свои решения и вместе обсудить будущее отечественных информационных технологий!
🔗Сайт конференции
🔗Зарегистрироваться на конференцию (до 23:59 22 ноября 2026)
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 548 |
