Инструкция “Как к нам попасть”

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