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