По вопросам зачисления обращайтесь к ответственной по работе со студентами Ярославе Коорт: koort@ispras.ru или @Jaroslava в Telegram.

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