Самые актуальные темы ИИ, визионерские лекции футурологов, гонка дронов и многое другое Узнать больше
Размер шрифта
Шрифт
Цвета сайта
Изображения
Инт.
Инт.
Информация о жилом, учебном и спортивном комплексах, медцентре, питании и досуге на территории города и Университета Иннополис. Ответы на часто задаваемые вопросы
Информация об образовательной деятельности, приёмной кампании, структуре и органах управления университетом, финансово-хозяйственной деятельности
Специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники
Образовательные программы для бизнеса по темам ИТ, цифровой трансформации, управления продуктами и инновациями. Ускоренная подготовка ИТ-специалистов
Программы обучения разработаны совместно с мировыми экспертами в сфере информатики, робототехники и программной инженерии с опытом работы в топ-100 вузов мира в партнерстве с компаниями IT‑индустрии
Сведения о научных разработках и инновационных проектах, осуществляемых учеными Университета Иннополис
В Университете Иннополис действуют 17 лабораторий и 9 научных центров, в которых ведется исследовательская работа в области искусственного интеллекта, робототехники, big data, разработки ПО, информационной безопасности
Исследуем и проектируем новые технологические решения совместно с ведущими ИТ-компаниями России, вендорами и 297 ведущих ИТ-компаний в партнерстве.
активно взаимодействует с партнерами по всему миру
Работа, проводимая командой Лаборатории программной инженерии в последние годы, сосредоточена на разработке теорий, методов, инструментов и программ, охватывающих два основных аспекта разработки программного обеспечения: процесс, описывающий, как мы разрабатываем программное обеспечение, и продукт, описывающий результаты этого процесса.
Мы преследуем цель повышения качества программного обеспечения конечного продукта. Это может быть достигнуто путем оптимизации процесса, а также с использованием эффективных архитектурных стилей, шаблонов проектирования и хорошо зарекомендовавших себя методов разработки программного обеспечения для выявления требований, проектирования, тестирования и проверки. В частности, наша работа была сосредоточена на сервисных архитектурных стилях и параллельных сервисных системах.
— Проверка программного обеспечения (как доказательства, так и тесты)
— Параллелизм
— Постоянство и эволюция
— Объектно-ориентированный реинжиниринг
— Языковой дизайн и эволюция (с особым акцентом на Eiffel)
— Архитектуры программного обеспечения
— Проверка модели и временная логика
— Исчисление процесса
— Сервис-ориентированное программирование
— Микросервисы
— Социальные сети и алгоритмы доверия
— IoT и умные города
— DevOps
— Пользовательский опыт и удобство использования
— Глобальное здоровье
— Веб-майнинг
Николай Шилов
Руководитель лаборатории, Доцент
Мануэль Маццара
Профессор
Леонард Йохард
Доцент
Хамза Мохд Абделькарим Салем
Старший преподаватель
Мансур Хазеев
Старший преподаватель
Мария Наумчева
Ассистент
Гералд БиргенИмбугва
Ассистент
Сирожиддин Комолов
Ассистент
Амир Хамза Сирадж
Ассистент
Bertrand Meyer
post@mail.ru
Jean-Michel Bruel
post@mail.ru
Mohamad Kassab
post@mail.ru
Alfredo Capozucca
post@mail.ru
Salvatore Distefano
post@mail.ru
01
ReqExp. Извлечение требований из произвольных технических текстов
В проекте применяется глубокое машинное обучение и обработка естественного языка
02
Портирование программного продукта Docker на экспериментальные операционные системы
Проект позволяет выявить направления дальнейшего развития операционных систем, находящихся в фазе активной разработки
03
TICOTA: автоматическое тестирование кода
Анализ разрозненных спецификаций с помощью технологий машинного обучения. Проект направлен на повышение эффективности автоматически сгенерированных текстов
04
Процессы управления требованиями для бесшовной разработки
Проект направлен на создание процессов разработки ПО, позволяющих максимально быстро и корректно реагировать на частые изменения требований
Они помогают улучшить работу сайта и сделать его удобнее. Посещая страницы сайта, вы соглашаетесь с условиями использования файлов cookie.