10 января 2020
Разработку применят в здравоохранении, транспорте, финансовых услугах, промышленности, энергетике, образовании, сельском и городском хозяйствах.
Российский ИТ-вуз получил статус лидирующего исследовательского центра цифровой экономики в области блокчейна, выиграв в конкурсе Министерства цифрового развития, связи и массовых коммуникаций РФ. Индустриальныq партнёр в программе — ПАО «Аэрофлот».
Верифицированная система распределённого реестра, которую разработают специалисты центра в 2020—2021 годах, будет отвечать отечественным требованиям безопасности. Технология включит специализированный язык программирования, который разрабатывается в Университете Иннополис, верифицированный компилятор, криптографические методы и протоколы, методы верификации свойств программ. До 2021 года технология заработает в 6 отраслях цифровой экономики России, а к 2022 году — в 8. В рамках проекта планируется обучить 40 человек по программам высшего образования в области блокчейна, зарегистрировать 6 патентов и разработать 12 математических моделей изделий и процессов.
Директор Университета Иннополис Кирилл Семенихин: «Новый способ верификации на основе системы распределённого реестра обезопасит данные и повысит их достоверность — медицинская информация о пациентах в здравоохранении, дипломы и удостоверения в сфере образования, учёт и маркировка произведённой продукции в промышленности и сельском хозяйстве. В финтехе появятся новые форматы инвестирования и финансовые организации смогут предлагать клиентам новые услуги, основанные на блокчейне. Ещё одно крупное направление — автоматический аудит смарт-контрактов, который ещё не применяют нигде в мире. Такой аудит займёт всего 3 минуты, это глобальная инновация. Сейчас консалтинговые компании проверяет умные контракты вручную. Но главное преимущество будущего стандарта — ускоренная интеграция в бизнес-процессы компаний, государственные и муниципальные услуги. По нашим оценкам, среднее время внедрения составит всего 10 часов, тогда как сейчас этот процесс занимает 5 дней. Всё это позволит значительно ускорить темпы развития цифровой экономики».
Руководитель Центра исследования, разработки и внедрения систем распределенного реестра в цифровой экономике Университета Иннополис Рустам Давлетбаев: «На глобальном рынке блокчейн-технологий нет платформ с полной формальной верификацией. Написанное человеком ПО может и чаще всего содержит ошибки. Если в коде плеера есть ошибка, он не будет запускать музыку, но когда в умном контракте есть ошибка, стороны теряют деньги или останавливается производство. Кроме того, смарт-контракты после запуска нельзя так легко обновить, в отличие от ПО на компьютерах. Решая эту проблему с помощью формальной (то есть математической) автоматической проверки всего смарт-контакта и кода, мы снижаем подобные риски, поэтому использовать блокчейн-технологии в бизнесе и госусправлении становится всё интереснее. Формальная верификация — это отдельное направление в компьютерных науках, которое популярно с 90-х годов на Западе. Однако на рынке пока предложений по полной верификации нет, а математически проверяются лишь отдельное подмножество спецификаций смарт-контрактов».
Для «Аэрофлота» специалисты Университета Иннополис разработают блокчейн-решение с полной формальной верификацией смарт-контрактов и интегрируют его с пилотным проектом авиакомпании — заправки воздушных судов. Разработка запланирована в рамках работы по соглашению Республики Татарстан с «Аэрофлотом» о стратегическом партнёрстве на базе Центра гражданской авиации Университета Иннополис. В Татарстане блокчейн-платформу планирует использовать Министерство здравоохранения для хранения медицинских данных. Компании нефтегазовой отрасли заинтересованы в проекте для контроля и учёта производимой продукции и добычи. Одну из машиностроительных компаний привлекла возможность маркировки и лицензирования автомобилей и запчастей на основе блокчейна.
Разрабатывать и интегрировать в цифровую экономику России верифицрованную систему распределённого реестра Университет Иннополис будет совместно с НИУ ВШЭ, МФТИ, МГУ, УрФУ и Институтом системного программирования РАН. Общая сумма финансирования проекта — 600 млн рублей, из которых 300 млн — грантовые средства нацпроекта «Цифровая экономика», 300 млн — частное софинансирование.
Победителей конкурса на государственную поддержку лидирующих исследовательских центров и компаний-лидеров по разработке продуктов, сервисов и платформенных решений на базе сквозных цифровых технологий определила межведомственная конкурсная комиссия Минкомсвязи России. Они получат гранты РВК на развитие искусственного интеллекта, компонентов робототехники и сенсорики, квантовых технологий, систем распределённого реестра, технологий беспроводной связи, новых производственных технологий, технологий виртуальной и дополненной реальности.
Университет Иннополис специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники. В 2019/2020 учебном году в вузе обучается 771 студент по 135 курсам бакалавриата, магистратуры и аспирантуры: компьютерные науки, теоретические основы компьютерных наук, управление разработкой ПО, разработка безопасных сетей и систем, управление большими данными, робототехника и компьютерное зрение. Средний балл ЕГЭ студентов, зачисленных на первый курс в 2019 году, — 92,7. По данным совместного мониторинга НИУ ВШЭ, Яндекса, Рособрнадзора и Министерства высшего образования и науки РФ, этот показатель стал самым высоким среди всех негосударственных вузов России. ИТ-вуз также разделил 5—6 место с петербургским университетом ИТМО в рейтинге по приему на бюджетные места и стал единственным учебным заведением Татарстана из топ-10 этого списка. В Университете Иннополис открыты 15 научно-исследовательских лабораторий и 6 центров разработки. В 2018 году на базе университета в рамках НТИ официально открылся Центр технологий компонентов робототехники и мехатроники. В мае 2019 года специалисты центра вместе с членами консорциума презентовали дорожную карту развития робототехники и сенсорики в России до 2024 года. На базе Лаборатории нейронауки и когнитивных технологий, входящей в состав центра, действует ведущая российская научная школа в области нейронаук.
24 июня 2025
Набор на обучение в российский ИТ-вуз открыт для 603 бакалавров, 175 магистров, 100 студентов онлайн-магистратуры и 20 аспирантов. Из них на бюджет поступят 209 обучающихся, а 689 — будут обучаться на платной основе. При этом абитуриенты могут выиграть гранты, покрывающие от 20 до 100% стоимости обучения — его размер зависит от результатов вступительных испытаний. Колледж Иннополис проведёт первый набор 75 студентов на программы по программированию и робототехнике.
20 июня 2025
В Иннополисе на территории мини-парка российского ИТ-вуза состоятся лекции, фестиваль воздушных змеев и выступление промо-группы. Гостей ждут игры от геймдев-сообщества города, зона крафтовых игр и другие интерактивные площадки. Участие бесплатное по предварительной регистрации. Количество мест ограничено.
30 июня 2025
Дистанционное обучение в новом авторизованном учебном центре доступно по индивидуальному графику и подойдёт сотрудникам государственных и коммерческих организаций. По окончании курсов слушатели получат сертификаты Р7 и удостоверения о повышении квалификации российского ИТ-вуза.