Миронов Андрей Михайлович в 1983 году окончил физико-математическую школу-интернат №18 имени А.Н.Колмогорова при МГУ, затем – механико-математический факультет Московского государственного университета имени М.В.Ломоносова, а в 1993 году – аспирантуру МГУ. Кандидат физико-математических наук.
С 1986 по 1989 год – инженер-программист Главного вычислительного центра Госплана СССР. С 1992 по 1994 года работал в центре новых информационных технологий МГУ. С 1994 по 1997 год преподавал на факультете математики и кибернетики МГУ. С 1996 по 1997 год – программист Московского Центра SPARC-технологий. С 1997 по 2001 год – research associate в Drexel University (Филадельфия, США) и в University of New Brunswick (Фредериктон, Канада). С 2001 года – старший научный сотрудник Университета города Переславля имени А.К.Айламазяна, преподаёт на механико-математическом факультете МГУ. Область научных интересов охватывает вопросы, связанные с теорией автоматов, математической теорией программирования, математической логикой и информационной безопасностью. Имеет более 25 публикаций.
При написании статьи использовались материалы с сайта intsys.msu.ru.