-
- Об университете
- Органы управления
- Команда университета
- Преподавательский состав
- Работа в университете
- Кампус
- Сведения об образовательной организации
- Сувениры и одежда
Университет Иннополис
Специализируется на образовании, исследованиях и разработках в области информационных технологий и робототехники
Факультет компьютерных и инженерных наукЛаборатория операционных систем, языков программирования и компиляторов
Языки программирования (ЯП) вместе с соответствующим инструментарием (компиляторы, системы поддержки периода выполнения, редакторы связей, библиотеки) представляют собой ключевой аспект разработки любого ПО. Характеристики и качество языков и инструментов напрямую влияют на качество разрабатываемого ПО и его соответствие предъявляемым требованиям. По этим причинам исследования, связанные с анализом всех аспектов ЯП (общий дизайн, статическая и динамическая семантика, вопросы компиляции и интерпретации и многое другое), имеют первостепенное значение и носят не только прикладной, но и фундаментальный характер.
Руководитель – Евгений Зуев
e.zuev@innopolis.ruдеятельность лаборатории
— Языки программирования: анализ, проектирование, сравнение
— Разработка языков программирования: компиляторы, интерпретаторы, инструменты и технологии динамической компиляции
— Статическая и динамическая семантика языков программирования
— Объектно-ориентированное программирование; шаблоны программирования
— Статический анализ программ, метрики языков программирования и программ
Команда
Евгений Зуев
Руководитель лаборатории
Николай Шилов
Доцент
Николай Кудасов
Старший преподаватель
Алексей Степанов
Ассистент
Мохамад Аль Мадфаа
Ассистент
Алексей Потемкин
Ассистент