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

НаправленияНаучные руководители и менторы
Анализ сетевого трафикаК.ф.-м.н. Александр Гетьман.
Оптимизации в статических и динамических (JIT) компиляторахДмитрий Мельник, Александр Монаков, Алексей Нурмухаметов, Роман Жуйков, Рубен Бучацкий.
Разработка технологий аудита бинарного кодаК.ф.-м.н. Шамиль Курмангалеев, к.т.н. Андрей Федотов, Алексей Вишняков, Даниил Куц, Максим Мишечкин, Виталий Акользин, Денис Стражков, Григорий Иванов, Чан Ти Тхиен.
Анализ бинарного кодаК.ф.-м.н. Михаил Соловьёв, к.ф.-м.н. Александр Бугеря, к.ф.-м.н. Александр Гетьман, к.т.н. Вадим Каушан, к.т.н. Иван Кулагин, Максим Бакулин.
Виртуальные машиныК.ф.-м.н. Кирилл Батузов, Василий Ефимов.
Анализ безопасности архитектур и реализаций системного и прикладного программного обеспеченияК.т.н. Вадим Проскурин, Алексей Макаров, Роман Коваленко.
Статический анализ исходного кодаК.ф.-м.н. Алексей Бородин, к.ф.-м.н. Валерий Игнатьев, к.ф.-м.н. Ирина Дудина, Дмитрий Журихин, Сергей Сыромятников.