Миронов Андрей Михайлович (кандидат физико-математических наук, доцент)

• Курсовая работа (2022): Распознавание жанра музыкальных произведений по аудиотреку.
• Курсовая работа (2021): VST — проект дедуктивной верификации.
• Курсовая работа (2020): Квантовые алгоритмы и их формальная верификация.
• Дипломная работа (2023): Метод прогнозирования временных рядов на основе агрегирующего алгоритма Вовка.