ИСП РАН

📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы 🗓 Голоса принимают три дня — с 18 по 20 сентября. В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов. 💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года. Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru. Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования. 👉 Подробная информация и доступ к электронному голосованию: elec.mos.ru12:31

📢 Дистанционное электронное голосование на выборах депутатов Государственной Думы 🗓 Голоса принимают три дня — с 18 по 20 сентября. В этот период москвичи смогут проголосовать на выборах в Государственную Думу, а жители района Щукино — также выбрать муниципальных депутатов. 💻 Проголосовать онлайн можно с 08:00 18 сентября до 19:59 20 сентября 2026 года. Принять участие в дистанционном электронном голосовании могут совершеннолетние москвичи с постоянной регистрацией в Москве и полной учётной записью на mos.ru. Если вы планируете принять участие в выборах, можно воспользоваться удобным для вас способом голосования. 👉 Подробная информация и доступ к электронному голосованию: elec.mos.ru

🗣ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на Let’s GoConf 2026 Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в конференции для Go-разработчиков Let’s GoConf 2026 в Москве. На стендах ИСП РАН были представлены два ключевых направления: технологии анализа программного обеспечения Svace и Svacer, а также разработки в области цифровой медицины. 🔵Svace — статический анализатор исходного кода, который выявляет более 70 классов критических ошибок и поддерживает широкий спектр языков программирования, включая Go. Svacer — web-интерфейс для просмотра и работы с предупреждениями, полученными в результате анализа Svace. 🔵Разработки в области цифровой медицины были представлены нейросетевыми моделями анализа ЭКГ для выявления патологий, а также технологиями обнаружения меланомы (и других патологических элементов) по снимкам кожи. 😷Let’s GoConf — конференция для Go-разработчиков, которая в 2026 году прошла 11 сентября в Москве. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

⚠️ СРОЧНО: срок подачи заявления на ДЭГ истекает СЕГОДНЯ, 14 сентября! Если вы не в Москве и хотите проголосовать онлайн на выборах в Госдуму 18–20 сентября — сегодня последний день, чтобы подать заявление. Успейте до 23:59 МСК. Кто может проголосовать онлайн: ДЭГ доступно жителям 33 регионов с постоянной регистрацией. Полный список — в постановлении ЦИК, среди них: Республика Карелия, Коми, Крым, Алтайский и Пермский края, Архангельская, Белгородская, Владимирская, Вологодская, Калининградская, Калужская, Костромская, Курганская, Липецкая, Магаданская, Московская, Мурманская, Нижегородская, Новгородская, Новосибирская, Псковская, Ростовская, Свердловская, Смоленская, Томская, Челябинская, Ярославская области и другие. Что нужно сделать прямо сейчас: · Зайти на Госуслуги в раздел «Мои выборы». · Убедиться, что учётная запись подтверждённая, а данные совпадают с реестром избирателей. · Подать заявление на участие в ДЭГ. · Успеть до 23:59 МСК сегодня, 14 сентября. Как проголосовать: · Даты: 18, 19, 20 сентября. · Платформа: vybory.gov.ru. · Время: с 08:00 18 сентября до 19:59 20 сентября (по местному времени вашего региона). · Авторизуйтесь через Госуслуги, подтвердите личность кодом из СМС и получите электронный бюллетень. Важно: · Отключите VPN перед голосованием. · Если заявление на ДЭГ не подадите — сможете проголосовать на участке по месту нахождения, но для этого нужно отдельное заявление через «Мобильный избиратель». · Если передумаете голосовать онлайн, можно отозвать заявление до того же срока — и проголосовать на участке. Если решите поучаствовать — будет здорово. 🙂

📢 ВАЖНО: Выборы в Госдуму — 2026! Друзья, с 18 по 20 сентября 2026 года проходят выборы разных уровней. Голосовать в Москве могут как москвичи, так и избиратели из других регионов (при наличии заявления). 🗓 Даты: 18, 19, 20 сентября. 🗳 За кого можно проголосовать: • Депутатов Госдумы (для москвичей и жителей других регионов с заявлением); • Муниципальных депутатов района Щукино (для жителей района); • Глав шести регионов (для подавших заявление жителей этих субъектов). 💻 Как голосовать москвичам: Онлайн на портале mos.ru с 08:00 18 сентября до 19:59 20 сентября. ⚠️ Важно: нужна полная учетная запись на mos.ru. Если её нет — создайте заранее! 📍 Если вы не в Москве, но хотите проголосовать (ДЭГ): Подайте заявление на Госуслугах. 📅 Срок подачи: с 3 августа по 14 сентября (до 23:59 МСК). Москвичам с постоянной регистрацией заявление подавать НЕ нужно — они голосуют на mos.ru. 🎁 Бонус за участие: Проголосуйте и получите призовые баллы программы «Миллион призов». Их можно обменять на скидки в магазинах, аптеках, ресторанах, билеты в музеи или пополнить «Тройку». Не забудьте проверить свое устройство перед голосованием и отключить VPN! ✅

👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук! 23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона». ✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

👏Поздравляем сотрудника ИСП РАН Андрея Перминова с получением диплома кандидата физико-математических наук! 23 апреля 2026 года Андрей защитил диссертационную работу «Доверенный байесовский классификатор для данных малой размерности на основе многослойного персептрона». ✔️Желаем Андрею дальнейших научных успехов, новых результатов и интересных исследовательских задач! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

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

На площадке „Зарубежнефти“ обсудили практические возможности и риски применения искусственного интеллекта. Хорошим примером перехода от дискуссии к реальным решениям стала совместная разработка — инструмент интеллектуальной аналитики для ТЭК «Сонар», созданный на платформе Talisman,

— отметил Денис Турдаков. В сессии также принял участие заместитель генерального директора по цифровой трансформации ООО «ЗН Цифра» Дмитрий Кырнаев с выступлением «Аналитика федерального уровня».

Для нас важно, чтобы технологии искусственного интеллекта не оставались экспериментами, а становились частью реальных производственных и управленческих процессов. «Сонар» — результат объединения отраслевой экспертизы «Зарубежнефти» и научно-технологических компетенций ИСП РАН,

— заявил он. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

✈️Отечественная ОС реального времени JetOS используется в новых российских пассажирских самолётах Операционная система реального времени JetOS («ДжетОС»), разработанная ГосНИИАС в кооперации с ИСП РАН им. В.П. Иванникова и ИПМ им. М.В. Келдыша РАН, используется на российских пассажирских самолётах МС-21-310 и SJ-100. 🔵JetOS предназначена для выполнения бортовых приложений на вычислителях гражданских воздушных судов. Система способна одновременно выполнять до 30 приложений с гарантированным временем отклика. JetOS разрабатывается в соответствии с требованиями высшего уровня критичности «А» для гражданской авиации. Программный интерфейс системы реализован в соответствии со стандартом ARINC 653, предусматривающим строгое разделение ресурсов процессора и памяти между приложениями. Благодаря этому несколько независимых задач могут безопасно выполняться на одном бортовом компьютере: сбой одного приложения не должен влиять на работу остальных. JetOS имеет микроядерную архитектуру и поддерживает процессорные архитектуры PowerPC, ARM32 и ARM64, что позволяет переносить систему на различные аппаратные платформы. ✔️Планируется, что JetOS станет основой для перспективных российских воздушных судов. 🔗Источник: ТЕХНОСФЕРА. РОССИЯ 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

🗣ИСП РАН представил доклад по статическому анализу конечных автоматов на 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 💬ИСП РАН в МАКС

цзинань

🎉Станиславу Александровичу Фомину — 50 лет Сегодня в ИСП РАН еще один юбилей — 50 лет исполняется сотруднику Института Станиславу Александровичу Фомину. Станислав Александрович окончил с отличием Московский физико-технический институт, а затем аспирантуру ИСП РАН, где его научным руководителем был доктор физико-математических наук, профессор Николай Николаевич Кузюрин. С Институтом его профессиональная деятельность связана с 1998 года. Станислав Александрович — высококлассный специалист в области методов оптимизации и алгоритмов. Значительная часть его исследований посвящена задачам линейного программирования, эффективного управления ресурсами распределённых вычислительных систем и оптимизации сложных вычислительных процессов. ⏺Результаты его исследований успешно применяются на практике. Станислав Александрович участвовал в проекте для канадской компании Nortel по разработке методов быстрого восстановления оптоволоконных сетей с использованием технологии p-циклов, в исследованиях и разработке программного обеспечения для энергоэффективного управления распределёнными вычислительными ресурсами. Методы математической оптимизации применялись им также для решения задач возвратной логистики крупной торговой сети. В последние годы в ИСП РАН Станислав Александрович участвует в разработке и внедрении решений в области информационной безопасности. Большое внимание Станислав Александрович уделяет преподавательской деятельности. В МФТИ он читает курсы «Сложность комбинаторных алгоритмов» и «Эффективные алгоритмы», разработанные совместно с Николаем Николаевичем Кузюриным. Станислав Александрович и Николай Николаевич также являются соавторами учебного пособия «Эффективные алгоритмы и сложность вычислений». ✔️Коллектив ИСП РАН поздравляет Станислава Александровича с юбилеем и желает ему крепкого здоровья, благополучия, новых научных результатов и интересных задач! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

Академик Владимир Борисович Бетелин отмечает 80‑летие! Научная деятельность академика стала важным вкладом в развитие теории и практики разработки инструментальных систем программного обеспечения, систем интерактивной машинной графики и геометрического моделирования, а также программных систем машиностроительных САПР. Поздравляем с юбилеем! Желаем благополучия, успехов и всего самого доброго! 🔗 Российская академия наук в MAX

🎉Академику Владимиру Борисовичу Бетелину — 80 лет! Сегодня 80-летний юбилей отмечает академик РАН Владимир Борисович Бетелин — выдающийся российский ученый, специалист в области информационных технологий и вычислительной техники, сотрудник Института системного программирования им. В. П. Иванникова РАН. Научная деятельность Владимира Борисовича связана с разработкой инструментальных систем программного обеспечения, машинной графикой и геометрическим моделированием, созданием программных систем для машиностроительных САПР. Ему принадлежат фундаментальные результаты в области языков программирования и архитектуры интегрированных систем проектирования, редактирования и компиляции. ⏺Под руководством Владимира Борисовича было разработано семейство первых отечественных графических рабочих станций «Беста», а также концепция и архитектура аппаратно-программной платформы «БАГЕТ». Большое значение имеют его работы по созданию информационно безопасных автоматизированных систем и программно-аппаратных комплексов реального времени, предназначенных в том числе для эксплуатации в жестких условиях. С 1990 по 2015 год Владимир Борисович возглавлял Научно-исследовательский институт системных исследований РАН, а с 2016 года является его научным руководителем. Сегодня Владимир Борисович также работает в ИСП РАН. По его инициативе и под его руководством в Институте создан отдел медицинской информатики, где ведется разработка масштабируемого программного обеспечения для создания онковакцин в рамках Научно-технологического центра развития мРНК-технологий — от локального решения к серийной технологии. ✔️Коллектив ИСП РАН сердечно поздравляет Владимира Борисовича с юбилеем! Желаем крепкого здоровья, благополучия, новых научных результатов, дальнейших успехов в работе и многих лет плодотворной деятельности! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

💊ИСП РАН на заседании Научного совета Центра ИИ в медицине 29 июля в НМИЦ им. В. А. Алмазова состоялось третье заседание Научного совета Центра искусственного интеллекта в медицине, объединившее представителей науки, медицины и индустрии. С приветственным словом к участникам Научного совета обратились генеральный директор НМИЦ им. В. А. Алмазова Евгений Шляхто, вице-президент – руководитель индустрии здоровья Сбера Ростислав Павлов, директор Института системного программирования им. В. П. Иванникова РАН, академик РАН Арутюн Аветисян и генеральный директор AIRI, профессор РАН Иван Оселедец. ⏺В рамках обсуждения промежуточных результатов проекта «Многопрофильный ИИ-помощник “Медицинский консилиум”» научный сотрудник ИСП РАН Юрий Маркин представил доклад «Как выглядит клиническое мышление ИИ и можно ли его измерить?». В докладе были представлены промежуточные результаты проекта, включая демонстрацию работы мультиагентной системы, моделирующей медицинский консилиум, на примере реального клинического случая. ⏺В работе Научного совета также принял участие сотрудник Исследовательского центра доверенного искусственного интеллекта ИСП РАН Евгений Карпулевич, представивший проект по разработке ИИ-агентов на основе GigaChat для персонализированного управления здоровьем пациента. ⏺В ходе заключительной сессии советник по цифровой медицине ИСП РАН Андрей Бурсов представил разработки Института в области медицинского ИИ, включая решения для интеллектуального анализа электрокардиограмм и раннего выявления меланомы. ✔️Разработки ИСП РАН создаются на основе собственных технологий искусственного интеллекта и направлены на помощь врачу в принятии решений, повышение качества диагностики и развитие современных цифровых медицинских сервисов. Часть решений уже проходит клиническую апробацию и внедряется совместно с ведущими медицинскими организациями страны. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

🛜ИСП РАН представил технологии безопасной разработки ПО и цифровой медицины на PyCon Russia 2026 Сотрудники Института системного программирования им. В. П. Иванникова РАН приняли участие в выставке конференции PyCon Russia 2026 в Москве. На стенде ИСП РАН были представлены два ключевых направления: технологии статического анализа кода и разработки в области цифровой медицины. 🔵Одной из центральных разработок стал статический анализатор Svace — инструмент, предназначенный для автоматического выявления потенциальных ошибок и уязвимостей в исходном коде еще на этапе разработки. Svace обнаруживает более 70 классов критических ошибок, поддерживает широкий спектр языков программирования, а также применяется в процессах безопасной разработки программного обеспечения более чем в 200 компаниях. 🔵Медицинские разработки были представлены проектами по анализу 1-, 6- и 12-канальных ЭКГ, а также системой анализа меланомы Melanoscope AI. Эти технологии используют методы искусственного интеллекта для поддержки врачей при диагностике сердечно-сосудистых заболеваний и раннем выявлении злокачественных новообразований кожи. ✈️PyCon Russia — крупнейшая конференция для Python-разработчиков в России, которая в этом году прошла 24–25 июля в Москве. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

😀Проект ИСП РАН занял второе место на всероссийском конкурсе «ТИМ-Лидеры 2025/26» Проект Института системного программирования им. В. П. Иванникова РАН «Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли РФ: идея, концепция, реализация» занял второе место на X Всероссийском конкурсе «ТИМ-Лидеры 2025/26» в номинации «Лучшая ТИМ-идея года». ⏺Сегодня технологии информационного моделирования позволяют создавать цифровые модели зданий и сооружений, однако требования к объектам капитального строительства по-прежнему формулируются в виде текстовых документов. Это затрудняет автоматическую проверку проектной документации, приводит к неоднозначным трактовкам требований и повышает вероятность ошибок, исправление которых требует дополнительных затрат на последующих этапах жизненного цикла объекта. Разработанная в ИСП РАН технология IDS++ предлагает новый подход: требования переводятся в машинно-интерпретируемый формат, что позволяет автоматически выполнять их спецификацию и верификацию. Благодаря этому нарушения технических регламентов и сводов правил можно выявлять уже на этапе проектирования, повышая качество проектной документации, эффективность государственной экспертизы и снижая риски при реализации строительных проектов. ✔️Проект был отмечен экспертами конкурса как одно из наиболее перспективных решений для развития отечественных технологий информационного моделирования и цифровой трансформации строительной отрасли. 🎉Поздравляем авторский коллектив с заслуженной наградой и желаем новых научных и технологических достижений! 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

🔍При участии ученых ИСП РАН разработан новый подход к выявлению мошенничества и персонализации ИИ-сервисов Сотрудники Института системного программирования им. В. П. Иванникова РАН в составе научного коллектива совместно со Сбером, Институтом AIRI и Математическим институтом им. В. А. Стеклова РАН разработали новый подход к анализу поведения пользователей, который позволяет повысить точность выявления мошенничества и качество рекомендательных систем. Результаты исследования приняты на одну из ведущих международных конференций в области веб-технологий — The ACM Web Conference 2026 (рейтинг A*). ⏺Предложенный метод основан на анализе не только последовательности действий пользователя, но и всей системы его цифровых взаимосвязей — с товарами, категориями и другими пользователями. Такой подход позволяет искусственному интеллекту формировать более полную картину поведения и принимать более точные решения. В ходе исследований максимальный прирост точности по показателю AUC составил 2,3%. ✅Разработка может найти применение в банковской сфере, электронной коммерции и цифровых платформах. Она позволит эффективнее выявлять мошеннические схемы, точнее оценивать риски и формировать более релевантные персональные рекомендации.

Эта разработка принесёт пользу каждому человеку, который пользуется маркетплейсами, онлайн-платформами и другими цифровыми площадками. Решение поможет сделать сервисы безопаснее, удобнее и точнее для людей. Для банков и финтех-компаний это способ поможет точнее выявлять мошенничество и оценивать риски. Для электронной коммерции и цифровых платформ — лучше понимать интересы пользователей, делая рекомендации и персональные предложения действительно полезными. Для науки эта работа демонстрирует, что сочетание контрастивных методов обучения с графовыми представлениями позволяет создавать гораздо более информативные модели поведения. Если раньше ИИ анализировал “одинокого” клиента, то теперь он видит картину целиком. Это означает качественно новый уровень безопасности,

— отметил старший управляющий директор, директор по AI-трансформации Сбербанка Сергей Рябов. ♾️Источник: Lenta.ru. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

Доверие к искусственному интеллекту обсудили учёные из разных стран мира На полях Глобального диалога по управлению искусственным интеллектом под эгидой ООН состоялась панельная сессия «Доверие и управление в эпоху генеративного ИИ: интеллектуальная собственность, качество, надежность и подотчетность». Одним из организаторов встречи стал Институт системного программирования им. В.П. Иванникова РАН. 🔐 О доверии к искусственному интеллекту в разных сферах жизни рассказал директор ИСП РАН академик Арутюн Аветисян. Он обозначил сразу несколько направлений для обсуждения, сделав акцент на особой важности научного, доказательного подхода в вопросах обеспечения доверенности ИИ-систем. Особое внимание в своём докладе он уделил реализованным решениям, имеющим потенциал глобального применения.

«Технологии доверенного ИИ — от верификации моделей до цифровых водяных знаков – слишком масштабны для создания силами одной страны или компании. Базовые решения должны развиваться через открытые репозитории в международной кооперации при сохранении суверенного права каждой страны на их применение»,— сказал академик Аветисян.

Учёный также отметил, что имеющийся многолетний опыт ИСП РАН по доверенной разработке программных решений формирует рациональный базис и для создания доверенных ИИ-решений. 🔗 Российская академия наук в MAX