Направления	Научные руководители и менторы
Автоматизация модельно-ориентированного проектирования	Александр Угненко. МЕСТА ЕСТЬ
Верификация аппаратуры	К.ф.-м.н. Александр Камкин. МЕСТА ЕСТЬ
Верификация и формальные методы	К.ф.-м.н. Илья Захаров, к.ф.-м.н Вадим Мутилин. МЕСТА ЕСТЬ
Операционные системы и тестирование	К.ф.-м.н. Алексей Хорошилов. МЕСТА ЕСТЬ