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

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