Исследовательские группы

BioLabs

Исследование фундаментальных механизмов эпигенетической регуляции и ее роли в процессах дифференцировки и старения

Paper-Analyzer

Приложение для извлечения знаний из научных (биомедицинских) статей

Агентные системы и обучение с подкреплением

Создание и обучение ИИ-агентов

Алгоритмы для конкурентных и распределенных систем

Разработка и анализ алгоритмов и структур данных для многоядерных и распределенных систем

Астрофизика и физика частиц

Применение современных вычислительных методов для обработки экспериментальных данных в астрофизике и физике частиц

Группа HOTT и зависимых типов

Разработка формального языка с зависимыми типами, основанного на гомотопической теории типов

Группа биоинформатики

Применение методов информатики к реальным биологическим и медицинским проблемам

Группа нейробиологии и физиологии развития

Разработка имитационных моделей развития нервной ткани и связанных внутриклеточных процессов

Лаборатория алгоритмов мобильных роботов

Создание алгоритмов для роботов, способных ориентироваться в незнакомом пространстве, а также решение задач SLAM

Лаборатория верификации и анализа программ

Разработка ПО с применением верификации, статического анализа и технологий трансформации

Лаборатория инструментов совместной работы

Изучение процессов совместной работы в разработке ПО и других креативных индустриях и разработка новых методов для инструментов совместной работы

Лаборатория исследований процессов обучения

Лонгитюдное исследование факторов, влияющих на успешность студентов в обучении и карьере STEM

Лаборатория киберфизических систем

Теоретические основы, языки и инструментальные средства разработки программ управления киберфизическими системами

Лаборатория криптографии

Криптографические методы защиты информации

Лаборатория методов ядерно-физических экспериментов

Разработка приборов и методов для исследований в области физики частиц и смежных областях

Лаборатория параллельных вычислений

Разработка современных параллельных алгоритмов, их верификация, тестирование и бенчмаркинг

Лаборатория параметризован­ных алгоритмов

Построение точных алгоритмов для вычислительно трудных задач за счет углубленного понимания структуры типичных входных данных

Лаборатория языковых инструментов

Поддержка научных исследований в области языков программирования и языковых процессоров

Методы машинного обучения в области программной инженерии

Объединение последних разработок машинного обучения и программной инженерии с целью создания новых способов написания и улучшения кода

Прикладное машинное обучение и глубокое обучение

Применение современных методов машинного обучения и анализа данных к различным задачам

Проблемы оптимизации в программной инженерии

Решение трудных задач оптимизации в различных областях программной инженерии