ИСП РАН

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

Россия представила единственную национальную сессию на полях Международного диалога по искусственному интеллекту под эгидой ООН Интерес стран ООН к российскому опыту доверенного ИИ становится предметным: верификация моделей, цифровые водяные знаки, открытые репозитории. Директор Института общественных наук Президентской академии Павел Голосов подчеркнул: доверие к ИИ измеряется бенчмарками, верификацией и клинической валидацией, а правовая неопределенность закрывается провенансом данных и лицензированием. Также от России на мероприятии выступили: директор ИСП РАН Арутюн Аветисян, Исполнительный директор Стратегического агентства поддержки и формирования развития ИИ Кирилл Землянухин, советник директора Департамента информационных технологий Правительства Москвы Дмитрий Онтоев, и другие.

👨‍💻 ИСП РАН выступил соорганизатором единственной российской сессии на Глобальном диалоге ООН по ИИ 7 июля в рамках Global Dialogue on AI Governance под эгидой Организации Объединенных Наций состоялась панельная сессия «Building Trust and Governance in the Era of Generative AI: Intellectual Property, Quality, Reliability and Accountability». Организаторами мероприятия выступили Институт общественных наук Президентской академии и Институт системного программирования им. В. П. Иванникова РАН совместно с S.M for Intellectual Property и iPioneer (Египет) при поддержке МИД России и Минэкономразвития России. Сессия стала единственным национальным мероприятием России в рамках Глобального диалога ООН. ⏺Панельная дискуссия объединила экспертов из России, Египта и стран Глобального Юга. Ее основной целью стало обсуждение практических механизмов формирования доверия к генеративному искусственному интеллекту. Особое внимание участники уделили поиску совместимых международных подходов к развитию и регулированию технологий ИИ, которые позволят странам сотрудничать без навязывания единой модели управления. Модератором сессии выступил директор Института общественных наук Президентской академии Павел Голосов. В числе российских спикеров — директор ИСП РАН, академик РАН Арутюн Аветисян, директор Департамента стратегического развития и инноваций Минэкономразвития России Оксана Сотникова, советник руководителя Департамента информационных технологий города Москвы Дмитрий Онтоев, директор по развитию технологий искусственного интеллекта «Т-Технологий» Алексей Шпильман и заведующий отделением опухолей кожи НМИЦ онкологии им. Н. Н. Блохина Игорь Самойленко. Международную экспертизу в сфере интеллектуальной собственности представила основатель и генеральный директор S.M for Intellectual Property и iPioneer (Египет) Шрук Абдельазиз. В составе российской делегации в работе Глобального диалога также приняли участие представители Центрального университета. 💬В своем выступлении Арутюн Аветисян отметил, что сегодня развитие искусственного интеллекта определяется не только качеством моделей, но и способностью формировать доверие к ним на протяжении всего жизненного цикла. По словам академика, технологии доверенного искусственного интеллекта уже слишком масштабны и сложны, чтобы разрабатываться усилиями одной компании или страны. Базовые инженерные решения должны развиваться в рамках международного сотрудничества через открытые репозитории и быть одинаково доступны всем участникам, при сохранении суверенного права каждого государства самостоятельно определять порядок их применения. ✔️По итогам дискуссии участники подчеркнули, что доверие к искусственному интеллекту должно опираться как на научно обоснованные методы оценки качества и надежности технологий, так и на прозрачные механизмы регулирования интеллектуальной собственности, происхождения данных и подотчетности ИИ-систем. Президентская академия, ИСП РАН, S.M for Intellectual Property и iPioneer договорились продолжить совместную работу по этим направлениям, пригласив к сотрудничеству всех участников Глобального диалога. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

🗣Смотреть запись дискуссии

💬ИСП РАН представил подход к развитию доверенного искусственного интеллекта на первом Глобальном диалоге ООН 6-7 июля 2026 года директор Института системного программирования им. В.П. Иванникова РАН, академик РАН Арутюн Аветисян принял участие в первом Global Dialogue on AI Governance, организованном Организацией Объединенных Наций в Женеве. Диалог стал первой международной площадкой, созданной Генеральной Ассамблеей ООН, где представители науки, бизнеса, технического сообщества и гражданского общества совместно обсуждают подходы к глобальному управлению искусственным интеллектом. В центре внимания форума — выработка практических рекомендаций по развитию безопасного и надежного ИИ для формирования международной повестки в этой сфере. 6 июля директор ИСП РАН выступил в рамках тематического трека «Safe, Secure and Trustworthy AI: Interoperability and Compatibility of Approaches», посвященном вопросам безопасности, доверенности и совместимости различных подходов к управлению искусственным интеллектом. В ходе сессии участники обсудили, как обеспечить сопоставимость национальных подходов к регулированию технологий ИИ. ⏺В своем выступлении Арутюн Аветисян отметил, что сегодня главный вопрос заключается уже не в том, насколько мощными стали системы искусственного интеллекта, а в том, можем ли мы им доверять. По его словам, доверие должно обеспечиваться на протяжении всего жизненного цикла ИИ. Для этого необходим сложный технологический стек, включающий безопасную разработку, верификацию моделей, бенчмаркинг, цифровые водяные знаки, фильтрацию контента и непрерывный мониторинг. По словам академика, ни одна компания и ни одна страна сегодня уже не способны самостоятельно обеспечить разработку всей экосистемы доверенного искусственного интеллекта. Развитие этой области требует совместной работы над базовыми технологиями, международными стандартами, бенчмарками и лучшими практиками при сохранении возможности национального применения этих решений. ✔️В качестве одного из практических шагов директор ИСП РАН предложил создание Международного репозитория технологий доверенного искусственного интеллекта, который позволит исследователям, университетам, компаниям и государствам совместно развивать технологии доверенного ИИ и обеспечит равный доступ к ним. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС

❗️Американские языковые модели (LLM) в 88% случаев дают негативную оценку российской стороне, рассказали в Центре ИИ Института общественных наук РАНХиГС. Директор Центра искусственного интеллекта Сергей Боловцов представил обновлённые данные бенчмарка SLAVA, разработанного ИСП РАН совместно с Президентской академией. На выборке из 17 историко-политических вопросов на русском языке американские Granite (IBM) и Gemma (Google) в 88% случаев (15 из 17) использовали оценочные формулировки с негативной коннотацией в отношении российской стороны. Российские GigaChat (Сбер) и AliceAI (Яндекс) показали значительно более сдержанный и объективный результат.

🔥 Сегодня в эфире AM Live говорили о разработке безопасного программного обеспечения и о том, почему безопасность должна быть частью всего жизненного цикла продукта. Вместе с экспертами обсудили: — современные подходы к РБПО; — роль архитектуры, требований и модели угроз; — вовлечение разработчиков в процессы безопасности; — контроль стороннего кода и подрядной разработки; — композиционный анализ и безопасность open-source компонентов; — использование low-code, no-code и LLM-инструментов; — практики, которые помогают выпускать безопасное программное обеспечение без ущерба для скорости разработки. В эфире приняли участие: Модератор: Александр Савин, CDEK Спикеры: ⚡Дмитрий Шмойлов, Лаборатория Касперского ⚡Кирилл Самосадный, SolidLab Group ⚡Данила Луцив, Security Vision ⚡Владимир Тележников, Группа Астра ⚡Антон Прокофьев, ГК «Солар» ⚡Андрей Смирнов, F6/Эфшесть ⚡Алексей Хорошилов, ИСП РАН Смотрите запись эфира там, где удобно: 📺 VK 📺 YouTube 📺 RuTube

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

«Развитие такого программного стека как общей платформы, доступной всем участникам рынка независимо от масштаба компании и позволяющей вносить собственные инновации, позволит вывести внедрение автономных систем на качественно новый уровень и сформировать полноценную национальную экосистему в этой области», — заключил академик Аветисян.

📑 Предложения, выработанные в ходе заседания, будут направлены на рассмотрение в Правительство Российской Федерации. 🔗 Российская академия наук в MAX

🗣Сотрудники ИСП РАН приняли участие в бизнес-миссии Российской Федерации в Южно-Африканской Республике Сотрудники ИСП РАН Юрий Маркин и Андрей Бурсов приняли участие в бизнес-миссии, организованной Российским экспортным центром в Йоханнесбурге (ЮАР). 🔵В рамках мероприятия они представили разработки Института в области цифровой медицины — систему интеллектуального анализа электрокардиограмм EcgHub и решение для выявления новообразований кожи Melanoscope AI на основе нейросетевых моделей. Представленные технологии вызвали большой интерес со стороны представителей бизнеса, медицинского сообщества и органов местного самоуправления. Это связано с тем, что ранняя диагностика сердечно-сосудистых заболеваний и рака кожи входит в число приоритетных задач системы здравоохранения ЮАР. ✔️Участие в бизнес-миссии позволило продемонстрировать потенциал российских ИТ-решений для здравоохранения и обсудить перспективы международного сотрудничества в сфере искусственного интеллекта и медицинских технологий. 💬ИСП РАН в Telegram 💬ИСП РАН в МАКС