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

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