ch
Feedback
ИСП РАН

ИСП РАН

前往频道在 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*, важно пр
📝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
🗣ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на Let’s GoConf 2026 Сотрудники Института систем+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 г
👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук! 23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона». ✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
985
8
👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук! 23 апреля 2026 г
👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук! 23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона». ✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
1
9
+2
没有文字...
1 205
10
✔️Доверие к искусственному интеллекту обсудили на Форуме «Зарубежнефть 2026» Руководитель Исследовательского центра доверенно
✔️Доверие к искусственному интеллекту обсудили на Форуме «Зарубежнефть 2026» Руководитель Исследовательского центра доверенного искусственного интеллекта ИСП РАН Денис Турдаков выступил на Форуме «Зарубежнефть 2026» в рамках сессии «Искусственный интеллект: возможности и риски». В докладе «Можно ли доверять ИИ?» Денис Турдаков рассказал о развитии подходов к доверенному искусственному интеллекту в России и работе Исследовательского центра доверенного ИИ ИСП РАН. Отдельное внимание он уделил проблемам современных больших языковых моделей: галлюцинациям, предвзятости, а также связанным с их применением угрозам информационной безопасности. На площадке „Зарубежнефти“ обсудили практические возможности и риски применения искусственного интеллекта. Хорошим примером перехода от дискуссии к реальным решениям стала совместная разработка — инструмент интеллектуальной аналитики для ТЭК «Сонар», созданный на платформе Talisman, — отметил Денис Турдаков. В сессии также принял участие заместитель генерального директора по цифровой трансформации ООО «ЗН Цифра» Дмитрий Кырнаев с выступлением «Аналитика федерального уровня». Для нас важно, чтобы технологии искусственного интеллекта не оставались экспериментами, а становились частью реальных производственных и управленческих процессов. «Сонар» — результат объединения отраслевой экспертизы «Зарубежнефти» и научно-технологических компетенций ИСП РАН, — заявил он. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
1 104
11
✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах Операционная система реальн
✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах Операционная система реального времени JetOS («ДжетОС»), разработанная ГосНИИАС в кооперации с ИСП РАН им. В.П. Иванникова и ИПМ им. М.В. Келдыша РАН, используется на российских пассажирских самолётах МС-21-310 и SJ-100. 🔵JetOS предназначена для выполнения бортовых приложений на вычислителях гражданских воздушных судов. Система способна одновременно выполнять до 30 приложений с гарантированным временем отклика. JetOS разрабатывается в соответствии с требованиями высшего уровня критичности «А» для гражданской авиации. Программный интерфейс системы реализован в соответствии со стандартом ARINC 653, предусматривающим строгое разделение ресурсов процессора и памяти между приложениями. Благодаря этому несколько независимых задач могут безопасно выполняться на одном бортовом компьютере: сбой одного приложения не должен влиять на работу остальных. JetOS имеет микроядерную архитектуру и поддерживает процессорные архитектуры PowerPC, ARM32 и ARM64, что позволяет переносить систему на различные аппаратные платформы. ✔️Планируется, что JetOS станет основой для перспективных российских воздушных судов. 🔗Источник: ТЕХНОСФЕРА. РОССИЯ 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
1 461
12
🗣ИСП РАН представил доклад по статическому анализу конечных автоматов на ITC-Asia 2026 19–22 августа в Нинбо (Китай) прошла+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 лет исполняется сотруднику Института Стани
🎉Станиславу Александровичу Фомину — 50 лет Сегодня в ИСП РАН еще один юбилей — 50 лет исполняется сотруднику Института Станиславу Александровичу Фомину. Станислав Александрович окончил с отличием Московский физико-технический институт, а затем аспирантуру ИСП РАН, где его научным руководителем был доктор физико-математических наук, профессор Николай Николаевич Кузюрин. С Институтом его профессиональная деятельность связана с 1998 года. Станислав Александрович — высококлассный специалист в области методов оптимизации и алгоритмов. Значительная часть его исследований посвящена задачам линейного программирования, эффективного управления ресурсами распределённых вычислительных систем и оптимизации сложных вычислительных процессов. ⏺Результаты его исследований успешно применяются на практике. Станислав Александрович участвовал в проекте для канадской компании Nortel по разработке методов быстрого восстановления оптоволоконных сетей с использованием технологии p-циклов, в исследованиях и разработке программного обеспечения для энергоэффективного управления распределёнными вычислительными ресурсами. Методы математической оптимизации применялись им также для решения задач возвратной логистики крупной торговой сети. В последние годы в ИСП РАН Станислав Александрович участвует в разработке и внедрении решений в области информационной безопасности. Большое внимание Станислав Александрович уделяет преподавательской деятельности. В МФТИ он читает курсы «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы», разработанные совместно с Николаем Николаевичем Кузюриным. Станислав Александрович и Николай Николаевич также являются соавторами учебного пособия «Эффективные алгоритмы и сложность вычислений». ✔️Коллектив ИСП РАН поздравляет Станислава Александровича с юбилеем и желает ему крепкого здоровья, благополучия, новых научных результатов и интересных задач! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
1 106
15
Академик Владимир Борисович Бетелин отмечает 80‑летие! Научная деятельность академика стала важным вкладом в развитие теории+3
Академик Владимир Борисович Бетелин отмечает 80‑летие! Научная деятельность академика стала важным вкладом в развитие теории и практики разработки инструментальных систем программного обеспечения, систем интерактивной машинной графики и геометрического моделирования, а также программных систем машиностроительных САПР. Поздравляем с юбилеем! Желаем благополучия, успехов и всего самого доброго! 🔗 Российская академия наук в MAX
1 005
16
🎉Академику Владимиру Борисовичу Бетелину — 80 лет! Сегодня 80-летний юбилей отмечает академик РАН Владимир Борисович Бетелин
🎉Академику Владимиру Борисовичу Бетелину — 80 лет! Сегодня 80-летний юбилей отмечает академик РАН Владимир Борисович Бетелин — выдающийся российский ученый, специалист в области информационных технологий и вычислительной техники, сотрудник Института системного программирования им. В. П. Иванникова РАН. Научная деятельность Владимира Борисовича связана с разработкой инструментальных систем программного обеспечения, машинной графикой и геометрическим моделированием, созданием программных систем для машиностроительных САПР. Ему принадлежат фундаментальные результаты в области языков программирования и архитектуры интегрированных систем проектирования, редактирования и компиляции. ⏺Под руководством Владимира Борисовича было разработано семейство первых отечественных графических рабочих станций «Беста», а также концепция и архитектура аппаратно-программной платформы «БАГЕТ». Большое значение имеют его работы по созданию информационно безопасных автоматизированных систем и программно-аппаратных комплексов реального времени, предназначенных в том числе для эксплуатации в жестких условиях. С 1990 по 2015 год Владимир Борисович возглавлял Научно-исследовательский институт системных исследований РАН, а с 2016 года является его научным руководителем. Сегодня Владимир Борисович также работает в ИСП РАН. По его инициативе и под его руководством в Институте создан отдел медицинской информатики, где ведется разработка масштабируемого программного обеспечения для создания онковакцин в рамках Научно-технологического центра развития мРНК-технологий — от локального решения к серийной технологии. ✔️Коллектив ИСП РАН сердечно поздравляет Владимира Борисовича с юбилеем! Желаем крепкого здоровья, благополучия, новых научных результатов, дальнейших успехов в работе и многих лет плодотворной деятельности! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
770
17
💊ИСП РАН на заседании Научного совета Центра ИИ в медицине 29 июля в НМИЦ им. В. А. Алмазова состоялось третье заседание Нау+9
💊ИСП РАН на заседании Научного совета Центра ИИ в медицине 29 июля в НМИЦ им. В. А. Алмазова состоялось третье заседание Научного совета Центра искусственного интеллекта в медицине, объединившее представителей науки, медицины и индустрии. С приветственным словом к участникам Научного совета обратились генеральный директор НМИЦ им. В. А. Алмазова Евгений Шляхто, вице-президент – руководитель индустрии здоровья Сбера Ростислав Павлов, директор Института системного программирования им. В. П. Иванникова РАН, академик РАН Арутюн Аветисян и генеральный директор AIRI, профессор РАН Иван Оселедец. ⏺В рамках обсуждения промежуточных результатов проекта «Многопрофильный ИИ-помощник “Медицинский консилиум”» научный сотрудник ИСП РАН Юрий Маркин представил доклад «Как выглядит клиническое мышление ИИ и можно ли его измерить?». В докладе были представлены промежуточные результаты проекта, включая демонстрацию работы мультиагентной системы, моделирующей медицинский консилиум, на примере реального клинического случая. ⏺В работе Научного совета также принял участие сотрудник Исследовательского центра доверенного искусственного интеллекта ИСП РАН Евгений Карпулевич, представивший проект по разработке ИИ-агентов на основе GigaChat для персонализированного управления здоровьем пациента. ⏺В ходе заключительной сессии советник по цифровой медицине ИСП РАН Андрей Бурсов представил разработки Института в области медицинского ИИ, включая решения для интеллектуального анализа электрокардиограмм и раннего выявления меланомы. ✔️Разработки ИСП РАН создаются на основе собственных технологий искусственного интеллекта и направлены на помощь врачу в принятии решений, повышение качества диагностики и развитие современных цифровых медицинских сервисов. Часть решений уже проходит клиническую апробацию и внедряется совместно с ведущими медицинскими организациями страны. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС
1 172
18
🛜ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на PyCon Russia 2026 Сотрудники Института систем+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
😀Проект ИСП РАН занял второе место на всероссийском конкурсе «ТИМ-Лидеры 2025/26» Проект Института системного программирован+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