Выпускные квалификационные работы
| ФИО выпускника | Направление | Наименование ВКР | ФИО научного руководителя | Статус | Год | |
|---|---|---|---|---|---|---|
| Меньшиков Максим Александрович | Математика и механика | Гибридный языково-независимый статический анализ как элемент комплексной технологии программирования | Терехов Андрей Николаевич | Опубликована | 2022 | |
| Меньщиков Максим Александрович | Процессы управления | Обнаружение состояний гонки в коде на Cи методом статического анализа | Лепихин Тимур Андреевич | Опубликована | 2016 | |
| Меньщиков Максим Александрович | Процессы управления | Гибридная система статического анализа с доказательной проверкой инвариантов | Коровкин Максим Васильевич | Нет согласия на публикацию | 2018 |
Показаны записи 1-3 из 3.