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