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

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