ИСП РАН
الذهاب إلى القناة على Telegram
Институт системного программирования им. В.П. Иванникова РАН — научно-исследовательская организация в сфере ИТ, объединяющая науку, образование и инновации. ИСП РАН в MAX: https://max.ru/id7709006125_gos3 Официальный сайт: https://www.ispras.ru
إظهار المزيد1 805
المشتركون
لا توجد بيانات24 ساعات
-17 أيام
+130 أيام
جاري تحميل البيانات...
القنوات المماثلة
سحابة العلامات
الإشارات الواردة والصادرة
---
---
---
---
---
---
جذب المشتركين
سبتمبر '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 قنوات
| التاريخ | نمو المشتركين | الإشارات | القنوات | |
| 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 |
منشورات القناة
📝AI-спринт: как писать A*
Хорошая исследовательская идея — только начало.
Чтобы довести её до публикации уровня A*, важно правильно поставить исследовательскую задачу, показать научный вклад и убедительно проверить гипотезу.
8 октября в Университете Иннополис состоится сессия САПФИР «AI-спринт: как писать A*» — в рамках Digital Innopolis Days.
💬За три часа разберём, что отличает сильное исследование от просто интересной идеи, какие ошибки могут помешать хорошей работе пройти отбор и как использовать ИИ при подготовке научной публикации — там, где он действительно помогает.
После лекционной части — командная практика на исследовательском кейсе и обратная связь от научных экспертов.
Если вы уже занимаетесь исследованиями, это возможность посмотреть на свою работу с новой стороны. Если только начинаете — понять, из чего складывается исследование, которое может претендовать на уровень A*.
✔️Для наиболее перспективных участников AI-спринт может стать следующим шагом: они смогут претендовать на участие в ICOMP 2026 в Касабланке и конференции «Путешествие в мир искусственного интеллекта», а также на менторство или стажировку в исследовательских центрах в сфере ИИ.
🔵8 октября · Университет Иннополис
🔵Заявки — до 1 октября
🔵Регистрация: AI-спринт: как писать A* — САПФИР
| 2 | 📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы
🗓 Голоса принимают три дня — с 18 по 20 сентября.
В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов.
💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года.
Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru.
Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования.
👉 Подробная информация и доступ к электронному голосованию:
elec.mos.ru12:31 | 754 |
| 3 | 📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы
🗓 Голоса принимают три дня — с 18 по 20 сентября.
В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов.
💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года.
Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru.
Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования.
👉 Подробная информация и доступ к электронному голосованию:
elec.mos.ru | 416 |
| 4 |  +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
💬ИСП РАН в МАКС | 793 |
| 5 | ⚠️ СРОЧНО: срок подачи заявления на ДЭГ истекает СЕГОДНЯ, 14 сентября!
Если вы не в Москве и хотите проголосовать онлайн на выборах в Госдуму 18–20 сентября — сегодня последний день, чтобы подать заявление. Успейте до 23:59 МСК.
Кто может проголосовать онлайн:
ДЭГ доступно жителям 33 регионов с постоянной регистрацией. Полный список — в постановлении ЦИК, среди них: Республика Карелия, Коми, Крым, Алтайский и Пермский края, Архангельская, Белгородская, Владимирская, Вологодская, Калининградская, Калужская, Костромская, Курганская, Липецкая, Магаданская, Московская, Мурманская, Нижегородская, Новгородская, Новосибирская, Псковская, Ростовская, Свердловская, Смоленская, Томская, Челябинская, Ярославская области и другие.
Что нужно сделать прямо сейчас:
· Зайти на Госуслуги в раздел «Мои выборы».
· Убедиться, что учётная запись подтверждённая, а данные совпадают с реестром избирателей.
· Подать заявление на участие в ДЭГ.
· Успеть до 23:59 МСК сегодня, 14 сентября.
Как проголосовать:
· Даты: 18, 19, 20 сентября.
· Платформа: vybory.gov.ru.
· Время: с 08:00 18 сентября до 19:59 20 сентября (по местному времени вашего региона).
· Авторизуйтесь через Госуслуги, подтвердите личность кодом из СМС и получите электронный бюллетень.
Важно:
· Отключите VPN перед голосованием.
· Если заявление на ДЭГ не подадите — сможете проголосовать на участке по месту нахождения, но для этого нужно отдельное заявление через «Мобильный избиратель».
· Если передумаете голосовать онлайн, можно отозвать заявление до того же срока — и проголосовать на участке.
Если решите поучаствовать — будет здорово. 🙂 | 1 000 |
| 6 | 📢 ВАЖНО: Выборы в Госдуму — 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 071 |
| 7 |  👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук!
23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона».
✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 985 |
| 8 | 👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук!
23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона».
✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 |
| 9 |  +2لا يوجد نص... | 1 205 |
| 10 |  ✔️Доверие к искусственному интеллекту обсудили на Форуме «Зарубежнефть 2026»
Руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН Денис Турдаков выступил на Форуме «Зарубежнефть 2026» в рамках сессии «Искусственный интеллект: возможности и риски».
В докладе «Можно ли доверять ИИ?» Денис Турдаков рассказал о развитии подходов к доверенному искусственному интеллекту в России и работе Исследовательского центра доверенного ИИ ИСП РАН. Отдельное внимание он уделил проблемам современных больших языковых моделей: галлюцинациям, предвзятости, а также связанным с их применением угрозам информационной безопасности.
На площадке „Зарубежнефти“ обсудили практические возможности и риски применения искусственного интеллекта. Хорошим примером перехода от дискуссии к реальным решениям стала совместная разработка — инструмент интеллектуальной аналитики для ТЭК «Сонар», созданный на платформе Talisman,
— отметил Денис Турдаков.
В сессии также принял участие заместитель генерального директора по цифровой трансформации ООО «ЗН Цифра» Дмитрий Кырнаев с выступлением «Аналитика федерального уровня».
Для нас важно, чтобы технологии искусственного интеллекта не оставались экспериментами, а становились частью реальных производственных и управленческих процессов. «Сонар» — результат объединения отраслевой экспертизы «Зарубежнефти» и научно-технологических компетенций ИСП РАН,
— заявил он.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 104 |
| 11 |  ✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах
Операционная система реального времени JetOS («ДжетОС»), разработанная ГосНИИАС в кооперации с ИСП РАН им. В.П. Иванникова и ИПМ им. М.В. Келдыша РАН, используется на российских пассажирских самолётах МС-21-310 и SJ-100.
🔵JetOS предназначена для выполнения бортовых приложений на вычислителях гражданских воздушных судов. Система способна одновременно выполнять до 30 приложений с гарантированным временем отклика.
JetOS разрабатывается в соответствии с требованиями высшего уровня критичности «А» для гражданской авиации. Программный интерфейс системы реализован в соответствии со стандартом ARINC 653, предусматривающим строгое разделение ресурсов процессора и памяти между приложениями. Благодаря этому несколько независимых задач могут безопасно выполняться на одном бортовом компьютере: сбой одного приложения не должен влиять на работу остальных.
JetOS имеет микроядерную архитектуру и поддерживает процессорные архитектуры PowerPC, ARM32 и ARM64, что позволяет переносить систему на различные аппаратные платформы.
✔️Планируется, что JetOS станет основой для перспективных российских воздушных судов.
🔗Источник: ТЕХНОСФЕРА. РОССИЯ
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 461 |
| 12 |  +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 474 |
| 13 | цзинань | 1 |
| 14 |  🎉Станиславу Александровичу Фомину — 50 лет
Сегодня в ИСП РАН еще один юбилей — 50 лет исполняется сотруднику Института Станиславу Александровичу Фомину.
Станислав Александрович окончил с отличием Московский физико-технический институт, а затем аспирантуру ИСП РАН, где его научным руководителем был доктор физико-математических наук, профессор Николай Николаевич Кузюрин. С Институтом его профессиональная деятельность связана с 1998 года.
Станислав Александрович — высококлассный специалист в области методов оптимизации и алгоритмов. Значительная часть его исследований посвящена задачам линейного программирования, эффективного управления ресурсами распределённых вычислительных систем и оптимизации сложных вычислительных процессов.
⏺Результаты его исследований успешно применяются на практике. Станислав Александрович участвовал в проекте для канадской компании Nortel по разработке методов быстрого восстановления оптоволоконных сетей с использованием технологии p-циклов, в исследованиях и разработке программного обеспечения для энергоэффективного управления распределёнными вычислительными ресурсами. Методы математической оптимизации применялись им также для решения задач возвратной логистики крупной торговой сети. В последние годы в ИСП РАН Станислав Александрович участвует в разработке и внедрении решений в области информационной безопасности.
Большое внимание Станислав Александрович уделяет преподавательской деятельности. В МФТИ он читает курсы «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы», разработанные совместно с Николаем Николаевичем Кузюриным. Станислав Александрович и Николай Николаевич также являются соавторами учебного пособия «Эффективные алгоритмы и сложность вычислений».
✔️Коллектив ИСП РАН поздравляет Станислава Александровича с юбилеем и желает ему крепкого здоровья, благополучия, новых научных результатов и интересных задач!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 106 |
| 15 |  +3Академик Владимир Борисович Бетелин отмечает 80‑летие!
Научная деятельность академика стала важным вкладом в развитие теории и практики разработки инструментальных систем программного обеспечения, систем интерактивной машинной графики и геометрического моделирования, а также программных систем машиностроительных САПР.
Поздравляем с юбилеем! Желаем благополучия, успехов и всего самого доброго!
🔗 Российская академия наук в MAX | 1 005 |
| 16 |  🎉Академику Владимиру Борисовичу Бетелину — 80 лет!
Сегодня 80-летний юбилей отмечает академик РАН Владимир Борисович Бетелин — выдающийся российский ученый, специалист в области информационных технологий и вычислительной техники, сотрудник Института системного программирования им. В. П. Иванникова РАН.
Научная деятельность Владимира Борисовича связана с разработкой инструментальных систем программного обеспечения, машинной графикой и геометрическим моделированием, созданием программных систем для машиностроительных САПР. Ему принадлежат фундаментальные результаты в области языков программирования и архитектуры интегрированных систем проектирования, редактирования и компиляции.
⏺Под руководством Владимира Борисовича было разработано семейство первых отечественных графических рабочих станций «Беста», а также концепция и архитектура аппаратно-программной платформы «БАГЕТ». Большое значение имеют его работы по созданию информационно безопасных автоматизированных систем и программно-аппаратных комплексов реального времени, предназначенных в том числе для эксплуатации в жестких условиях.
С 1990 по 2015 год Владимир Борисович возглавлял Научно-исследовательский институт системных исследований РАН, а с 2016 года является его научным руководителем.
Сегодня Владимир Борисович также работает в ИСП РАН. По его инициативе и под его руководством в Институте создан отдел медицинской информатики, где ведется разработка масштабируемого программного обеспечения для создания онковакцин в рамках Научно-технологического центра развития мРНК-технологий — от локального решения к серийной технологии.
✔️Коллектив ИСП РАН сердечно поздравляет Владимира Борисовича с юбилеем! Желаем крепкого здоровья, благополучия, новых научных результатов, дальнейших успехов в работе и многих лет плодотворной деятельности!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 770 |
| 17 |  +9💊ИСП РАН на заседании Научного совета Центра ИИ в медицине
29 июля в НМИЦ им. В. А. Алмазова состоялось третье заседание Научного совета Центра искусственного интеллекта в медицине, объединившее представителей науки, медицины и индустрии.
С приветственным словом к участникам Научного совета обратились генеральный директор НМИЦ им. В. А. Алмазова Евгений Шляхто, вице-президент – руководитель индустрии здоровья Сбера Ростислав Павлов, директор Института системного программирования им. В. П. Иванникова РАН, академик РАН Арутюн Аветисян и генеральный директор AIRI, профессор РАН Иван Оселедец.
⏺В рамках обсуждения промежуточных результатов проекта «Многопрофильный ИИ-помощник “Медицинский консилиум”» научный сотрудник ИСП РАН Юрий Маркин представил доклад «Как выглядит клиническое мышление ИИ и можно ли его измерить?». В докладе были представлены промежуточные результаты проекта, включая демонстрацию работы мультиагентной системы, моделирующей медицинский консилиум, на примере реального клинического случая.
⏺В работе Научного совета также принял участие сотрудник Исследовательского центра доверенного искусственного интеллекта ИСП РАН Евгений Карпулевич, представивший проект по разработке ИИ-агентов на основе GigaChat для персонализированного управления здоровьем пациента.
⏺В ходе заключительной сессии советник по цифровой медицине ИСП РАН Андрей Бурсов представил разработки Института в области медицинского ИИ, включая решения для интеллектуального анализа электрокардиограмм и раннего выявления меланомы.
✔️Разработки ИСП РАН создаются на основе собственных технологий искусственного интеллекта и направлены на помощь врачу в принятии решений, повышение качества диагностики и развитие современных цифровых медицинских сервисов. Часть решений уже проходит клиническую апробацию и внедряется совместно с ведущими медицинскими организациями страны.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 172 |
| 18 |  +4🛜ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на PyCon Russia 2026
Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в выставке конференции PyCon Russia 2026 в Москве.
На стенде ИСП РАН были представлены два ключевых направления: технологии статического анализа кода и разработки в области цифровой медицины.
🔵Одной из центральных разработок стал статический анализатор Svace — инструмент, предназначенный для автоматического выявления потенциальных ошибок и уязвимостей в исходном коде еще на этапе разработки. Svace обнаруживает более 70 классов критических ошибок, поддерживает широкий спектр языков программирования, а также применяется в процессах безопасной разработки программного обеспечения более чем в 200 компаниях.
🔵Медицинские разработки были представлены проектами по анализу 1-, 6- и 12-канальных ЭКГ, а также системой анализа меланомы Melanoscope AI. Эти технологии используют методы искусственного интеллекта для поддержки врачей при диагностике сердечно-сосудистых заболеваний и раннем выявлении злокачественных новообразований кожи.
✈️PyCon Russia — крупнейшая конференция для Python-разработчиков в России, которая в этом году прошла 24–25 июля в Москве.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 1 223 |
| 19 |  +1😀Проект ИСП РАН занял второе место на всероссийском конкурсе «ТИМ-Лидеры 2025/26»
Проект Института системного программирования им. В. П. Иванникова РАН «Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли РФ: идея, концепция, реализация» занял второе место на X Всероссийском конкурсе «ТИМ-Лидеры 2025/26» в номинации «Лучшая ТИМ-идея года».
⏺Сегодня технологии информационного моделирования позволяют создавать цифровые модели зданий и сооружений, однако требования к объектам капитального строительства по-прежнему формулируются в виде текстовых документов. Это затрудняет автоматическую проверку проектной документации, приводит к неоднозначным трактовкам требований и повышает вероятность ошибок, исправление которых требует дополнительных затрат на последующих этапах жизненного цикла объекта.
Разработанная в ИСП РАН технология IDS++ предлагает новый подход: требования переводятся в машинно-интерпретируемый формат, что позволяет автоматически выполнять их спецификацию и верификацию. Благодаря этому нарушения технических регламентов и сводов правил можно выявлять уже на этапе проектирования, повышая качество проектной документации, эффективность государственной экспертизы и снижая риски при реализации строительных проектов.
✔️Проект был отмечен экспертами конкурса как одно из наиболее перспективных решений для развития отечественных технологий информационного моделирования и цифровой трансформации строительной отрасли.
🎉Поздравляем авторский коллектив с заслуженной наградой и желаем новых научных и технологических достижений!
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 753 |
| 20 | 🔍При участии ученых ИСП РАН разработан новый подход к выявлению мошенничества и персонализации ИИ-сервисов
Сотрудники Института системного программирования им. В. П. Иванникова РАН в составе научного коллектива совместно со Сбером, Институтом AIRI и Математическим институтом им. В. А. Стеклова РАН разработали новый подход к анализу поведения пользователей, который позволяет повысить точность выявления мошенничества и качество рекомендательных систем.
Результаты исследования приняты на одну из ведущих международных конференций в области веб-технологий — The ACM Web Conference 2026 (рейтинг A*).
⏺Предложенный метод основан на анализе не только последовательности действий пользователя, но и всей системы его цифровых взаимосвязей — с товарами, категориями и другими пользователями. Такой подход позволяет искусственному интеллекту формировать более полную картину поведения и принимать более точные решения. В ходе исследований максимальный прирост точности по показателю AUC составил 2,3%.
✅Разработка может найти применение в банковской сфере, электронной коммерции и цифровых платформах. Она позволит эффективнее выявлять мошеннические схемы, точнее оценивать риски и формировать более релевантные персональные рекомендации.
Эта разработка принесёт пользу каждому человеку, который пользуется маркетплейсами, онлайн-платформами и другими цифровыми площадками. Решение поможет сделать сервисы безопаснее, удобнее и точнее для людей. Для банков и финтех-компаний это способ поможет точнее выявлять мошенничество и оценивать риски. Для электронной коммерции и цифровых платформ — лучше понимать интересы пользователей, делая рекомендации и персональные предложения действительно полезными. Для науки эта работа демонстрирует, что сочетание контрастивных методов обучения с графовыми представлениями позволяет создавать гораздо более информативные модели поведения. Если раньше ИИ анализировал “одинокого” клиента, то теперь он видит картину целиком. Это означает качественно новый уровень безопасности,
— отметил старший управляющий директор, директор по AI-трансформации Сбербанка Сергей Рябов.
♾️Источник: Lenta.ru.
💬ИСП РАН в Telegram
💬ИСП РАН в МАКС | 900 |
