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