ИСП РАН
Відкрити в Telegram
Институт системного программирования им. В.П. Иванникова РАН — научно-исследовательская организация в сфере ИТ, объединяющая науку, образование и инновации. ИСП РАН в MAX: https://max.ru/id7709006125_gos3 Официальный сайт: https://www.ispras.ru
Показати більше1 805
Підписники
Немає даних24 години
+17 днів
+330 днів
Триває завантаження даних...
Схожі канали
Хмара тегів
Вхідні та вихідні згадування
---
---
---
---
---
---
Залучення підписників
вересень '26вер '26
вересень '26
+11
в 1 каналах
серпень '26
+10
в 1 каналах
Get PRO
липень '26
+19
в 4 каналах
Get PRO
червень '26
+29
в 5 каналах
Get PRO
травень '26
+44
в 4 каналах
Get PRO
квітень '26
+77
в 5 каналах
Get PRO
березень '26
+36
в 3 каналах
Get PRO
лютий '26
+33
в 6 каналах
Get PRO
січень '26
+23
в 0 каналах
Get PRO
грудень '25
+127
в 25 каналах
Get PRO
листопад '25
+62
в 8 каналах
Get PRO
жовтень '25
+54
в 8 каналах
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 каналах
| Дата | Залучення підписників | Згадування | Канали | |
| 29 вересня | 0 | |||
| 28 вересня | 0 | |||
| 27 вересня | 0 | |||
| 26 вересня | 0 | |||
| 25 вересня | 0 | |||
| 24 вересня | 0 | |||
| 23 вересня | +2 | |||
| 22 вересня | +1 | |||
| 21 вересня | 0 | |||
| 20 вересня | 0 | |||
| 19 вересня | 0 | |||
| 18 вересня | 0 | |||
| 17 вересня | +1 | |||
| 16 вересня | 0 | |||
| 15 вересня | 0 | |||
| 14 вересня | +1 | |||
| 13 вересня | 0 | |||
| 12 вересня | 0 | |||
| 11 вересня | +2 | |||
| 10 вересня | +1 | |||
| 09 вересня | 0 | |||
| 08 вересня | 0 | |||
| 07 вересня | +1 | |||
| 06 вересня | +1 | |||
| 05 вересня | +1 | |||
| 04 вересня | 0 | |||
| 03 вересня | 0 | |||
| 02 вересня | 0 | |||
| 01 вересня | 0 |
Дописи каналу
🔎Как работать по новой Методике ФСТЭК: цикл статей о ключевых изменениях и практике
В журнале «Информационная безопасность» вышел цикл статей, посвященный новой Методике ФСТЭК России по выявлению уязвимостей и недекларированных возможностей в программном обеспечении.
〰️Открывает цикл статья «Методика 3.0. История создания и ключевые тезисы» Дмитрия Пономарева — заместителя генерального директора «НТЦ Фобос-НТ», сотрудника ИСП РАН, старшего преподавателя МГТУ им. Н. Э. Баумана. В ней автор рассказывает об истории создания Методики и разбирает ее основные положения.
Продолжают тему три материала:
〰️«Разработчик и лаборатория: что меняется?» — Андрей Кузнецов, директор департамента внедрения и развития практик НТЦ «Фобос-НТ», сотрудник ИСП РАН. О новых требованиях к разработчикам и изменениях во взаимодействии с испытательными лабораториями.
〰️— «Роль Центра исследований безопасности системного ПО при реализации положений Методики» — Алексей Хорошилов, в. н. с., руководитель Центра исследований безопасности системного программного обеспечения ИСП РАН. О практическом опыте Центра и инструментах, которые могут использоваться при исследованиях безопасности ПО.
〰️«Как опираться на Методику ВУ и НДВ при работе по ГОСТ Р 56939–2024» — Елена Пономарева, руководитель отдела аудитконсалтинга процессов РБПО ООО НТЦ «Фобос-НТ». Материал подробно показывает взаимосвязь положений Методики с требованиями стандарта безопасной разработки.
✔️Вместе публикации дают комплексное представление о том, как новые требования будут работать на практике.
📖Читать цикл статей
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС
| 2 |  📝AI-спринт: как писать A*
Хорошая исследовательская идея — только начало.
Чтобы довести её до публикации уровня A*, важно правильно поставить исследовательскую задачу, показать научный вклад и убедительно проверить гипотезу.
8 октября в Университете Иннополис состоится сессия САПФИР «AI-спринт: как писать A*» — в рамках Digital Innopolis Days.
💬За три часа разберём, что отличает сильное исследование от просто интересной идеи, какие ошибки могут помешать хорошей работе пройти отбор и как использовать ИИ при подготовке научной публикации — там, где он действительно помогает.
После лекционной части — командная практика на исследовательском кейсе и обратная связь от научных экспертов.
Если вы уже занимаетесь исследованиями, это возможность посмотреть на свою работу с новой стороны. Если только начинаете — понять, из чего складывается исследование, которое может претендовать на уровень A*.
✔️Для наиболее перспективных участников AI-спринт может стать следующим шагом: они смогут претендовать на участие в ICOMP 2026 в Касабланке и конференции «Путешествие в мир искусственного интеллекта», а также на менторство или стажировку в исследовательских центрах в сфере ИИ.
🔵8 октября · Университет Иннополис
🔵Заявки — до 1 октября
🔵Регистрация: AI-спринт: как писать A* — САПФИР | 610 |
| 3 | 📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы
🗓 Голоса принимают три дня — с 18 по 20 сентября.
В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов.
💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года.
Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru.
Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования.
👉 Подробная информация и доступ к электронному голосованию:
elec.mos.ru12:31 | 815 |
| 4 | 📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы
🗓 Голоса принимают три дня — с 18 по 20 сентября.
В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов.
💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года.
Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru.
Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования.
👉 Подробная информация и доступ к электронному голосованию:
elec.mos.ru | 416 |
| 5 |  +2🗣ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на Let’s GoConf 2026
Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в конференции для Go-разработчиков Let’s GoConf 2026 в Москве.
На стендах ИСП РАН были представлены два ключевых направления: технологии анализа программного обеспечения Svace и Svacer, а также разработки в области цифровой медицины.
🔵Svace — статический анализатор исходного кода, который выявляет более 70 классов критических ошибок и поддерживает широкий спектр языков программирования, включая Go. Svacer — web-интерфейс для просмотра и работы с предупреждениями, полученными в результате анализа Svace.
🔵Разработки в области цифровой медицины были представлены
нейросетевыми моделями анализа ЭКГ для выявления патологий, а также технологиями обнаружения меланомы (и других патологических элементов) по снимкам кожи.
😷Let’s GoConf — конференция для Go-разработчиков, которая в 2026 году прошла 11 сентября в Москве.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 842 |
| 6 | ⚠️ СРОЧНО: срок подачи заявления на ДЭГ истекает СЕГОДНЯ, 14 сентября!
Если вы не в Москве и хотите проголосовать онлайн на выборах в Госдуму 18–20 сентября — сегодня последний день, чтобы подать заявление. Успейте до 23:59 МСК.
Кто может проголосовать онлайн:
ДЭГ доступно жителям 33 регионов с постоянной регистрацией. Полный список — в постановлении ЦИК, среди них: Республика Карелия, Коми, Крым, Алтайский и Пермский края, Архангельская, Белгородская, Владимирская, Вологодская, Калининградская, Калужская, Костромская, Курганская, Липецкая, Магаданская, Московская, Мурманская, Нижегородская, Новгородская, Новосибирская, Псковская, Ростовская, Свердловская, Смоленская, Томская, Челябинская, Ярославская области и другие.
Что нужно сделать прямо сейчас:
· Зайти на Госуслуги в раздел «Мои выборы».
· Убедиться, что учётная запись подтверждённая, а данные совпадают с реестром избирателей.
· Подать заявление на участие в ДЭГ.
· Успеть до 23:59 МСК сегодня, 14 сентября.
Как проголосовать:
· Даты: 18, 19, 20 сентября.
· Платформа: vybory.gov.ru.
· Время: с 08:00 18 сентября до 19:59 20 сентября (по местному времени вашего региона).
· Авторизуйтесь через Госуслуги, подтвердите личность кодом из СМС и получите электронный бюллетень.
Важно:
· Отключите VPN перед голосованием.
· Если заявление на ДЭГ не подадите — сможете проголосовать на участке по месту нахождения, но для этого нужно отдельное заявление через «Мобильный избиратель».
· Если передумаете голосовать онлайн, можно отозвать заявление до того же срока — и проголосовать на участке.
Если решите поучаствовать — будет здорово. 🙂 | 1 032 |
| 7 | 📢 ВАЖНО: Выборы в Госдуму — 2026!
Друзья, с 18 по 20 сентября 2026 года проходят выборы разных уровней. Голосовать в Москве могут как москвичи, так и избиратели из других регионов (при наличии заявления).
🗓 Даты: 18, 19, 20 сентября.
🗳 За кого можно проголосовать:
• Депутатов Госдумы (для москвичей и жителей других регионов с заявлением);
• Муниципальных депутатов района Щукино (для жителей района);
• Глав шести регионов (для подавших заявление жителей этих субъектов).
💻 Как голосовать москвичам:
Онлайн на портале mos.ru с 08:00 18 сентября до 19:59 20 сентября.
⚠️ Важно: нужна полная учетная запись на mos.ru. Если её нет — создайте заранее!
📍 Если вы не в Москве, но хотите проголосовать (ДЭГ):
Подайте заявление на Госуслугах.
📅 Срок подачи: с 3 августа по 14 сентября (до 23:59 МСК).
Москвичам с постоянной регистрацией заявление подавать НЕ нужно — они голосуют на mos.ru.
🎁 Бонус за участие:
Проголосуйте и получите призовые баллы программы «Миллион призов». Их можно обменять на скидки в магазинах, аптеках, ресторанах, билеты в музеи или пополнить «Тройку».
Не забудьте проверить свое устройство перед голосованием и отключить VPN! ✅ | 1 087 |
| 8 |  👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук!
23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона».
✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 001 |
| 9 | 👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук!
23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона».
✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 |
| 10 |  +2Немає тексту... | 1 216 |
| 11 |  ✔️Доверие к искусственному интеллекту обсудили на Форуме «Зарубежнефть 2026»
Руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН Денис Турдаков выступил на Форуме «Зарубежнефть 2026» в рамках сессии «Искусственный интеллект: возможности и риски».
В докладе «Можно ли доверять ИИ?» Денис Турдаков рассказал о развитии подходов к доверенному искусственному интеллекту в России и работе Исследовательского центра доверенного ИИ ИСП РАН. Отдельное внимание он уделил проблемам современных больших языковых моделей: галлюцинациям, предвзятости, а также связанным с их применением угрозам информационной безопасности.
На площадке „Зарубежнефти“ обсудили практические возможности и риски применения искусственного интеллекта. Хорошим примером перехода от дискуссии к реальным решениям стала совместная разработка — инструмент интеллектуальной аналитики для ТЭК «Сонар», созданный на платформе Talisman,
— отметил Денис Турдаков.
В сессии также принял участие заместитель генерального директора по цифровой трансформации ООО «ЗН Цифра» Дмитрий Кырнаев с выступлением «Аналитика федерального уровня».
Для нас важно, чтобы технологии искусственного интеллекта не оставались экспериментами, а становились частью реальных производственных и управленческих процессов. «Сонар» — результат объединения отраслевой экспертизы «Зарубежнефти» и научно-технологических компетенций ИСП РАН,
— заявил он.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 111 |
| 12 |  ✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах
Операционная система реального времени JetOS («ДжетОС»), разработанная ГосНИИАС в кооперации с ИСП РАН им. В.П. Иванникова и ИПМ им. М.В. Келдыша РАН, используется на российских пассажирских самолётах МС-21-310 и SJ-100.
🔵JetOS предназначена для выполнения бортовых приложений на вычислителях гражданских воздушных судов. Система способна одновременно выполнять до 30 приложений с гарантированным временем отклика.
JetOS разрабатывается в соответствии с требованиями высшего уровня критичности «А» для гражданской авиации. Программный интерфейс системы реализован в соответствии со стандартом ARINC 653, предусматривающим строгое разделение ресурсов процессора и памяти между приложениями. Благодаря этому несколько независимых задач могут безопасно выполняться на одном бортовом компьютере: сбой одного приложения не должен влиять на работу остальных.
JetOS имеет микроядерную архитектуру и поддерживает процессорные архитектуры PowerPC, ARM32 и ARM64, что позволяет переносить систему на различные аппаратные платформы.
✔️Планируется, что JetOS станет основой для перспективных российских воздушных судов.
🔗Источник: ТЕХНОСФЕРА. РОССИЯ
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 476 |
| 13 |  +8🗣ИСП РАН представил доклад по статическому анализу конечных автоматов на ITC-Asia 2026
19–22 августа в Нинбо (Китай) прошла юбилейная десятая Международная конференция по тестированию в Азии — ITC-Asia 2026. Она объединила исследователей и инженеров в области проектирования, верификации, тестирования, надёжности и безопасности интегральных схем.
Среди докладчиков — представители ведущих компаний отрасли: Synopsys, Siemens EDA, Huawei (HiSilicon), Intel, ByteDance, а также университетов и научных организаций США, Японии и Китая.
✔️Старший лаборант ИСП РАН Андрей Вязовцев выступил с докладом «SVAN-FSM: Static Analysis of Finite State Machines in SystemVerilog» в секции Pre-Silicon Security Analysis. Работа выполнена в соавторстве с Яном Чуркиным, Арманом Егиазаряном, Рубеном Бучацким, Александром Камкиным и Артёмом Коцыняком.
В той же секции были представлены работы исследователей из Университета электронной науки и технологий Китая, Пекинского транспортного университета и Тяньцзиньского университета. Статья по докладу будет опубликована в цифровой библиотеке IEEE Xplore.
👨💻SVAN-FSM является частью SVAN — системы статического анализа описаний цифровой аппаратуры, разрабатываемой в ИСП РАН. Инструмент автоматически извлекает конечные автоматы из RTL-описаний на языке SystemVerilog и выявляет в них дефекты — например, недостижимые состояния и взаимоблокировки — без запуска симуляции. Обнаружение таких ошибок ещё на этапе проектирования RTL-модели, до синтеза и физической реализации микросхемы, существенно сокращает стоимость исправлений и ускоряет цикл разработки.
Конференцию открыл пленарный доклад Ерванда Зоряна — президента Synopsys Armenia, главного архитектора и научного сотрудника Synopsys, президента IEEE Test Technology Technical Council. Его выступление «Lifetime Health for Multi-Die Systems in the Era of AI» было посвящено тестированию и надёжности многокристальных систем. В 2014 году д-р Зорян был удостоен Национальной медали науки Республики Армения.
➡️ITC-Asia — азиатская конференция семейства International Test Conference, одного из ведущих мировых форумов в области тестирования электроники. Первая ITC-Asia состоялась в Тайбэе в 2017 году. В 2026 году конференция отметила десятилетие и прошла в Нинбо — одном из крупнейших портовых и индустриальных центров восточного Китая.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 477 |
| 14 | цзинань | 1 |
| 15 |  🎉Станиславу Александровичу Фомину — 50 лет
Сегодня в ИСП РАН еще один юбилей — 50 лет исполняется сотруднику Института Станиславу Александровичу Фомину.
Станислав Александрович окончил с отличием Московский физико-технический институт, а затем аспирантуру ИСП РАН, где его научным руководителем был доктор физико-математических наук, профессор Николай Николаевич Кузюрин. С Институтом его профессиональная деятельность связана с 1998 года.
Станислав Александрович — высококлассный специалист в области методов оптимизации и алгоритмов. Значительная часть его исследований посвящена задачам линейного программирования, эффективного управления ресурсами распределённых вычислительных систем и оптимизации сложных вычислительных процессов.
⏺Результаты его исследований успешно применяются на практике. Станислав Александрович участвовал в проекте для канадской компании Nortel по разработке методов быстрого восстановления оптоволоконных сетей с использованием технологии p-циклов, в исследованиях и разработке программного обеспечения для энергоэффективного управления распределёнными вычислительными ресурсами. Методы математической оптимизации применялись им также для решения задач возвратной логистики крупной торговой сети. В последние годы в ИСП РАН Станислав Александрович участвует в разработке и внедрении решений в области информационной безопасности.
Большое внимание Станислав Александрович уделяет преподавательской деятельности. В МФТИ он читает курсы «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы», разработанные совместно с Николаем Николаевичем Кузюриным. Станислав Александрович и Николай Николаевич также являются соавторами учебного пособия «Эффективные алгоритмы и сложность вычислений».
✔️Коллектив ИСП РАН поздравляет Станислава Александровича с юбилеем и желает ему крепкого здоровья, благополучия, новых научных результатов и интересных задач!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 106 |
| 16 |  +3Академик Владимир Борисович Бетелин отмечает 80‑летие!
Научная деятельность академика стала важным вкладом в развитие теории и практики разработки инструментальных систем программного обеспечения, систем интерактивной машинной графики и геометрического моделирования, а также программных систем машиностроительных САПР.
Поздравляем с юбилеем! Желаем благополучия, успехов и всего самого доброго!
🔗 Российская академия наук в MAX | 1 005 |
| 17 |  🎉Академику Владимиру Борисовичу Бетелину — 80 лет!
Сегодня 80-летний юбилей отмечает академик РАН Владимир Борисович Бетелин — выдающийся российский ученый, специалист в области информационных технологий и вычислительной техники, сотрудник Института системного программирования им. В. П. Иванникова РАН.
Научная деятельность Владимира Борисовича связана с разработкой инструментальных систем программного обеспечения, машинной графикой и геометрическим моделированием, созданием программных систем для машиностроительных САПР. Ему принадлежат фундаментальные результаты в области языков программирования и архитектуры интегрированных систем проектирования, редактирования и компиляции.
⏺Под руководством Владимира Борисовича было разработано семейство первых отечественных графических рабочих станций «Беста», а также концепция и архитектура аппаратно-программной платформы «БАГЕТ». Большое значение имеют его работы по созданию информационно безопасных автоматизированных систем и программно-аппаратных комплексов реального времени, предназначенных в том числе для эксплуатации в жестких условиях.
С 1990 по 2015 год Владимир Борисович возглавлял Научно-исследовательский институт системных исследований РАН, а с 2016 года является его научным руководителем.
Сегодня Владимир Борисович также работает в ИСП РАН. По его инициативе и под его руководством в Институте создан отдел медицинской информатики, где ведется разработка масштабируемого программного обеспечения для создания онковакцин в рамках Научно-технологического центра развития мРНК-технологий — от локального решения к серийной технологии.
✔️Коллектив ИСП РАН сердечно поздравляет Владимира Борисовича с юбилеем! Желаем крепкого здоровья, благополучия, новых научных результатов, дальнейших успехов в работе и многих лет плодотворной деятельности!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 770 |
| 18 |  +9💊ИСП РАН на заседании Научного совета Центра ИИ в медицине
29 июля в НМИЦ им. В. А. Алмазова состоялось третье заседание Научного совета Центра искусственного интеллекта в медицине, объединившее представителей науки, медицины и индустрии.
С приветственным словом к участникам Научного совета обратились генеральный директор НМИЦ им. В. А. Алмазова Евгений Шляхто, вице-президент – руководитель индустрии здоровья Сбера Ростислав Павлов, директор Института системного программирования им. В. П. Иванникова РАН, академик РАН Арутюн Аветисян и генеральный директор AIRI, профессор РАН Иван Оселедец.
⏺В рамках обсуждения промежуточных результатов проекта «Многопрофильный ИИ-помощник “Медицинский консилиум”» научный сотрудник ИСП РАН Юрий Маркин представил доклад «Как выглядит клиническое мышление ИИ и можно ли его измерить?». В докладе были представлены промежуточные результаты проекта, включая демонстрацию работы мультиагентной системы, моделирующей медицинский консилиум, на примере реального клинического случая.
⏺В работе Научного совета также принял участие сотрудник Исследовательского центра доверенного искусственного интеллекта ИСП РАН Евгений Карпулевич, представивший проект по разработке ИИ-агентов на основе GigaChat для персонализированного управления здоровьем пациента.
⏺В ходе заключительной сессии советник по цифровой медицине ИСП РАН Андрей Бурсов представил разработки Института в области медицинского ИИ, включая решения для интеллектуального анализа электрокардиограмм и раннего выявления меланомы.
✔️Разработки ИСП РАН создаются на основе собственных технологий искусственного интеллекта и направлены на помощь врачу в принятии решений, повышение качества диагностики и развитие современных цифровых медицинских сервисов. Часть решений уже проходит клиническую апробацию и внедряется совместно с ведущими медицинскими организациями страны.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 172 |
| 19 |  +4🛜ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на PyCon Russia 2026
Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в выставке конференции PyCon Russia 2026 в Москве.
На стенде ИСП РАН были представлены два ключевых направления: технологии статического анализа кода и разработки в области цифровой медицины.
🔵Одной из центральных разработок стал статический анализатор Svace — инструмент, предназначенный для автоматического выявления потенциальных ошибок и уязвимостей в исходном коде еще на этапе разработки. Svace обнаруживает более 70 классов критических ошибок, поддерживает широкий спектр языков программирования, а также применяется в процессах безопасной разработки программного обеспечения более чем в 200 компаниях.
🔵Медицинские разработки были представлены проектами по анализу 1-, 6- и 12-канальных ЭКГ, а также системой анализа меланомы Melanoscope AI. Эти технологии используют методы искусственного интеллекта для поддержки врачей при диагностике сердечно-сосудистых заболеваний и раннем выявлении злокачественных новообразований кожи.
✈️PyCon Russia — крупнейшая конференция для Python-разработчиков в России, которая в этом году прошла 24–25 июля в Москве.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 223 |
| 20 |  +1😀Проект ИСП РАН занял второе место на всероссийском конкурсе «ТИМ-Лидеры 2025/26»
Проект Института системного программирования им. В. П. Иванникова РАН «Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли РФ: идея, концепция, реализация» занял второе место на X Всероссийском конкурсе «ТИМ-Лидеры 2025/26» в номинации «Лучшая ТИМ-идея года».
⏺Сегодня технологии информационного моделирования позволяют создавать цифровые модели зданий и сооружений, однако требования к объектам капитального строительства по-прежнему формулируются в виде текстовых документов. Это затрудняет автоматическую проверку проектной документации, приводит к неоднозначным трактовкам требований и повышает вероятность ошибок, исправление которых требует дополнительных затрат на последующих этапах жизненного цикла объекта.
Разработанная в ИСП РАН технология IDS++ предлагает новый подход: требования переводятся в машинно-интерпретируемый формат, что позволяет автоматически выполнять их спецификацию и верификацию. Благодаря этому нарушения технических регламентов и сводов правил можно выявлять уже на этапе проектирования, повышая качество проектной документации, эффективность государственной экспертизы и снижая риски при реализации строительных проектов.
✔️Проект был отмечен экспертами конкурса как одно из наиболее перспективных решений для развития отечественных технологий информационного моделирования и цифровой трансформации строительной отрасли.
🎉Поздравляем авторский коллектив с заслуженной наградой и желаем новых научных и технологических достижений!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 753 |
