2 марта 2016
2 марта 2016
Мероприятие станет крупнейшем событием года в мире по формальным методам программной инженерии.
Виктор Ривера, старший научный сотрудник Лаборатории разработки программной инженерии Университета Иннополис стал спикером семинара по формальным методам программной инженерии FormaliSE 2016. Мероприятие состоится 15 мая в американском городе Остин, штат Техас, в рамках 38-й Международной конференции по программной инженерии ICSE 2016, которое по праву можно назвать самым главным событием в области. Участниками события станут ведущие представители академической среды и крупных международных индустриальных компаний.
На семинаре исследователь из российского вуза выступит с докладом на тему «Применение формального метода разработки Event-B в проекте Tokeneer» (англ. “Undertaking the Tokeneer Challenge in Event-B”). Работа молодого учёного направлена на анализ практических примеров применения средств формальных методов для проверки параметров безопасности в проекте Tokeneer, разработанном компанией Praxis.
«Анализ практических примеров из практики – шаг вперёд к внедрению формальных методологий в индустрию», - рассказал Виктор Ривера, сотрудник Лаборатории программной инженерии Университета Иннополис. Статья написана в соавторстве с Сукрити Бхаттахарая, научным сотрудником Университетского колледжа Лондона (UCL), и Нестором Катано, профессором Университета Иннополис.
8 июля 2024
Всего в геймджеме участвовали 500 разработчиков со всей России, которые в командах за 7 дней создали с нуля 66 игр. После оценки менторов GOL в очный финал в Университете Иннополис прошли 12 команд. Жюри определило победителей номинаций, которые разделили призовой фонд в 300 тысяч рублей.
5 июля 2024
Команда специалистов по обработке больших данных, экспертов по машинному обучению и робототехников из Университета Иннополис и НИТУ МИСИС разработала метод сегментации цифрового двойника Москвы и выиграла 600 тысяч рублей. Департамент информационных технологий города Москвы планирует продолжать развитие проекта совместно с командами, занявшими призовые места.
1 июля 2024
6 июля в рамках финала открытой игровой лаборатории Game Open Lab пройдёт выставка проектов финалистов геймджема и открытые лекции по разработке игр. Среди спикеров — редакторы iXBT games, представители «Мира Танков», Ice-Pick Lodge.