Инструкция “Как к нам попасть”

Направления	Научные руководители и менторы
Верификация и формальные методы	д.ф.-м.н. Нина Владимировна Евтушенко к.ф.-м.н. Михаил Мандрыкин к.ф.-м.н. Вадим Мутилин к.ф.-м.н. Алексей Хорошилов
Лаборатория технологий проектирования цифровой аппаратуры	к.ф.-м.н. Александр Камкин
Модельно-ориентированное проектирование	Александр Угненко
Операционные системы	к.ф.-м.н. Алексей Хорошилов Виталий Чепцов
Функциональное программирование и повышение надежности программного обеспечения	к.ф.-м.н. Алексей Демаков