16 июня 2022
16 июня 2022
Техническое решение для безопасной работы с базами данных применят в государственных услугах, здравоохранении, сельском хозяйстве и промышленности. Платформу InnoChain разработали специалисты Лидирующего исследовательского центра в области систем распределенного реестра Университета Иннополис, её уже начал использовать в своих проектах «Аэрофлот».
InnoChain — первый полностью российский блокчейн с открытым кодом, криптографией и поддержкой смарт-контрактов. Разработка российского ИТ-вуза обеспечивает прозрачность бизнес-процессов и исключает незаконное внесение изменений в документы.
InnoChain в том работает со смарт-контрактами, написанными на специальном языке программирования с технологией формальной верификации, математически доказывая, что бизнес-процесс реализован без ошибок. Формальная верификация выдаёт «математический сертификат» для доказанных свойств программы, что позволяет снизить количество сбоев систем, надёжность которых критически важна.
Искандер Бариев, первый проректор — заместитель директора Университета Иннополис: «Существуют отечественные и зарубежные платформы, но наш анализ показал, что полная формальная верификация, критически необходимая для крупных ответственных производств, — преимущество платформы Университета Иннополис даже на мировом уровне. По нашей оценке, экономия трудозатрат за счёт высокой надёжности компонентов InnoChain может достигать 1,5-3,5 раз по сравнению с традиционными блокчейн-фреймворками, ориентированными на промышленное применение».
Блокчейн-платформу российского ИТ-вуза можно использовать для согласования договоров, контроля цепочек поставок, оплаты продуктов и услуг, выпуска цифровых финансовых активов и в любых других информационных системах, требующих согласованных действий нескольких участников.
Андрей Полозов-Яблонский, советник генерального директора по инновационному развитию ПАО «Аэрофлот»: «В стратегию инновационного развития нашей компании входит и система заправки воздушных судов на базе блокчейн-платформы. Она обеспечит высоконадёжную среду между всеми участниками бизнес-процесса: авиакомпанией, топливозаправочными компаниями и коммерческими банками. Перспективными нам кажутся и другие проекты с применением смарт-контрактов, например, отслеживание цикла жизни запчастей для самолёта, цифровая биржа миль или продажа авиабилетов через блокчейн-платформу, разработанную Университетом Иннополис».
Проект реализован при содействии Межотраслевого центра трансфера технологий Университета Иннополис.
24 февраля 2025
Университет Иннополис продолжает серию историй о талантливых обучающихся. Аспирантка Замира Холматова совмещает работу в Передовой инженерной школе с написанием кандидатской диссертации и исследованиями в области программной инженерии. Она рассказала, почему решила заниматься наукой и чем игра на фортепиано, спорт и рисование полезны для исследователя.
25 февраля 2025
Мероприятие для обсуждения трендов в торговле пройдёт 2—5 июня в московском Центре международной торговли. На форуме состоятся пленарные заседания, экспертные сессии, конференции, презентации и круглые столы об инновациях в работе торговых сетей, маркетинге, fashion- и банковском ритейле, е-commerce, HoReCa, логистике, ESG, коммерческой недвижимости, международных рынках и HR. Также участников ждут экспозона новинок отрасли, Retail Week Awards, антиконтрафакт и турнир по мини-футболу. Регистрация открыта до 2 июня.
17 февраля 2025
22—29 марта Центр довузовской подготовки российского ИТ-вуза проведёт очные курсы по изучению языков программирования Python и C++, 3D-моделированию и олимпиадному программированию. Также в программе — квесты, квизы, игры и спортивные мероприятия. По итогам обучения участники получат сертификаты. Регистрация открыта до 17 марта, количество мест ограничено.