Информация о жилом, учебном и спортивном комплексах, медцентре, питании и досуге на территории города и Университета Иннополис. Ответы на часто задаваемые вопросы
Информация об образовательной деятельности, приёмной кампании, структуре и органах управления университетом, финансово-хозяйственной деятельности
Специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники
Образовательные программы для бизнеса по темам ИТ, цифровой трансформации, управления продуктами и инновациями. Ускоренная подготовка ИТ-специалистов
Программы обучения разработаны совместно с мировыми экспертами в сфере информатики, робототехники и программной инженерии с опытом работы в топ-100 вузов мира в партнерстве с компаниями IT‑индустрии
Сведения о научных разработках и инновационных проектах, осуществляемых учеными Университета Иннополис
В Университете Иннополис действуют 17 лабораторий и 9 научных центров, в которых ведется исследовательская работа в области искусственного интеллекта, робототехники, big data, разработки ПО, информационной безопасности
Исследуем и проектируем новые технологические решения совместно с ведущими ИТ-компаниями России, вендорами и 297 ведущих ИТ-компаний в партнерстве.
активно взаимодействует с партнерами по всему миру
Языки программирования (ЯП) вместе с соответствующим инструментарием (компиляторы, системы поддержки периода выполнения, редакторы связей, библиотеки) представляют собой ключевой аспект разработки любого ПО. Характеристики и качество языков и инструментов напрямую влияют на качество разрабатываемого ПО и его соответствие предъявляемым требованиям. По этим причинам исследования, связанные с анализом всех аспектов ЯП (общий дизайн, статическая и динамическая семантика, вопросы компиляции и интерпретации и многое другое), имеют первостепенное значение и носят не только прикладной, но и фундаментальный характер.
— Языки программирования: анализ, проектирование, сравнение
— Разработка языков программирования: компиляторы, интерпретаторы, инструменты и технологии динамической компиляции
— Статическая и динамическая семантика языков программирования
— Объектно-ориентированное программирование; шаблоны программирования
— Статический анализ программ, метрики языков программирования и программ
Евгений Зуев
Руководитель лаборатории
Николай Шилов
Доцент
Николай Кудасов
Старший преподаватель
Алексей Степанов
Ассистент
Мохамад Аль Мадфаа
Ассистент
Алексей Потемкин
Ассистент
01
SLang-программирование
Одна из целей проекта — глубокое исследование современных ЯП с целью определения их сильных и слабых сторон с точки зрения потребностей и требований различных прикладных областей. Конечная цель: спроектировать на основе проведенного анализа оригинальный язык общего назначения, который был бы свободен от недостатков других ЯП.
02
Сравнительное исследование языков программирования
Исследование различных аспектов языков программирования для разработки количественных критериев, помогающих определить, какой язык в какой области применять. Исследование включает анализ языковых формальных грамматик, семантических языковых метрик, метрик программ
Они помогают улучшить работу сайта и сделать его удобнее. Посещая страницы сайта, вы соглашаетесь с условиями использования файлов cookie.