ФИО выпускника | Строганов Никита Сергеевич |
---|---|
Направление подготовки (специальность) | 01.03.02 Прикладная математика и информатика |
Квалификация | Бакалавр |
Наименование ВКР | Разработка статического анализатора на основе символьного исполнения |
Статус | Опубликована |
ФИО научного руководителя | кандидат физико-математических наук Д.С.Шалымов |
Год | 2023 |