16 июня 2022
16 июня 2022
Техническое решение для безопасной работы с базами данных применят в государственных услугах, здравоохранении, сельском хозяйстве и промышленности. Платформу InnoChain разработали специалисты Лидирующего исследовательского центра в области систем распределенного реестра Университета Иннополис, её уже начал использовать в своих проектах «Аэрофлот».
InnoChain — первый полностью российский блокчейн с открытым кодом, криптографией и поддержкой смарт-контрактов. Разработка российского ИТ-вуза обеспечивает прозрачность бизнес-процессов и исключает незаконное внесение изменений в документы.
InnoChain в том работает со смарт-контрактами, написанными на специальном языке программирования с технологией формальной верификации, математически доказывая, что бизнес-процесс реализован без ошибок. Формальная верификация выдаёт «математический сертификат» для доказанных свойств программы, что позволяет снизить количество сбоев систем, надёжность которых критически важна.
Искандер Бариев, первый проректор — заместитель директора Университета Иннополис: «Существуют отечественные и зарубежные платформы, но наш анализ показал, что полная формальная верификация, критически необходимая для крупных ответственных производств, — преимущество платформы Университета Иннополис даже на мировом уровне. По нашей оценке, экономия трудозатрат за счёт высокой надёжности компонентов InnoChain может достигать 1,5-3,5 раз по сравнению с традиционными блокчейн-фреймворками, ориентированными на промышленное применение».
Блокчейн-платформу российского ИТ-вуза можно использовать для согласования договоров, контроля цепочек поставок, оплаты продуктов и услуг, выпуска цифровых финансовых активов и в любых других информационных системах, требующих согласованных действий нескольких участников.
Андрей Полозов-Яблонский, советник генерального директора по инновационному развитию ПАО «Аэрофлот»: «В стратегию инновационного развития нашей компании входит и система заправки воздушных судов на базе блокчейн-платформы. Она обеспечит высоконадёжную среду между всеми участниками бизнес-процесса: авиакомпанией, топливозаправочными компаниями и коммерческими банками. Перспективными нам кажутся и другие проекты с применением смарт-контрактов, например, отслеживание цикла жизни запчастей для самолёта, цифровая биржа миль или продажа авиабилетов через блокчейн-платформу, разработанную Университетом Иннополис».
Проект реализован при содействии Межотраслевого центра трансфера технологий Университета Иннополис.
9 июня 2025
ИТ-школа «Прогматика» приглашает учащихся 1—11 классов на онлайн-интенсивы по разработке игр в Roblox, программированию на Python, созданию мобильных приложений на Flutter, 3D-моделированию в Blender, а также изучению основ искусственного интеллекта и компьютерной грамотности. В конце обучения школьники создадут проекты для портфолио и получат сертификаты. Занятия доступны в индивидуальном формате по гибкому графику и в группах до 8 человек 30 июня — 6 июля и 11—17 июля.
10 июня 2025
На ежегодной отраслевой премии «Промышленная робототехника» отметят компании, регионы и субъекты РФ, учёных, инженеров и студентов за достижения в разработке и внедрении промышленных роботов, учебные заведения — за подготовку кадров, а также СМИ, освещающие новости отрасли. Подать заявку можно до 20 июня.
9 июня 2025
Международное событие для исследователей, разработчиков и экспертов в областях искусственного интеллекта, машинного обучения и вычислительных технологий состоится 17—19 октября в Абу-Даби. Организатор — Университет Иннополис в партнёрстве с Университетом искусственного интеллекта имени Мухаммада бен Заида.