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

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