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

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