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

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