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