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

BioLabs

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

Paper-Analyzer

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

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

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

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

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

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

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

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

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

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

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

Лаборатория искусственного интеллекта

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

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

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

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

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