Олейников Андрей Павлович
| ФИО выпускника | Олейников Андрей Павлович |
|---|---|
| Направление подготовки (специальность) | 09.03.04 Программная инженерия |
| Квалификация | Бакалавр |
| Наименование ВКР | Автоматический вывод индуктивных инвариантов, основанных на катаморфизмах, для программ с алгебраическими типами данных и арифметикой |
| Статус | Нет согласия на публикацию |
| ФИО научного руководителя | кандидат физико-математических наук Д.А.Мордвинов |
| Год | 2024 |