10 ноября 2023
10 ноября 2023
Участники решали задачи по верификации моделей и дедуктивной верификации с тьюториалами. Контест прошёл онлайн в рамках ежегодного семинара Program Semantics, Specification and Verification, организованного Университетом Иннополис.
Задача по верификации моделей заключалась в превращении программы на формальном языке в систему переходов и проверке её свойств с использованием темпоральных формул. В направлении дедуктивной верификации участникам предстояло проверить правильность программы относительно её формальной спецификации с помощью системы логических правил вывода.
1 и 2 место заняли команды студентов Санкт-Петербургского политехнического университета Петра Великого, 3 место — команда Новосибирского государственного университета.
Организаторы соревнования — специалисты Университета Иннополис, НГУ, СПбГТУ и АлтГТУ.
Подробнее о контесте: sites.google.com/view/veha23
Подробнее о семинаре: persons.iis.nsk.su/en/PSSVfrom2022towards2023
16 мая 2025
ИТ-вуз стал абсолютным победителем федерального грантового конкурса на развитие углублённого образования в сфере информационных технологий от Минцифры России и Аналитического центра при Правительстве России. С результатом 78,88 баллов Университет Иннополис занял первое место в рейтинге и стал единственным победителем из Татарстана. Всего в конкурсе участвовали 50 университетов, в финальный список вошли 26 вузов из 13 регионов страны.
14 мая 2025
Передовая инженерная школа российского ИТ-вуза поделилась результатами работы за 2024 год на совете по рассмотрению вопросов и координации деятельности ПИШ под председательством главы Минобрнауки России Валерия Фалькова.
14 мая 2025
Соглашение о создании совместной научной лаборатории на XVI Международном экономическом форуме «Россия — Исламский мир: KazanForum» подписали заместитель директора по развитию цифровых проектов российского ИТ-вуза Алексей Павлов и генеральный директор Института AIRI Иван Оселедец.