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

• Курсовая работа (2021): Формальная верификация смарт-контрактов с помощью цветных сетей Петри в блокчейн среде.
• Курсовая работа (2020): О сложности преобразования булевых формул для некоторых классов Поста.
• Курсовая работа (2019): Сложность перезаписи булевых формул.
• Дипломная работа (2022): Построение математической модели и верификация параллельного алгоритма вычисления собственных значений.