04.08.2026 08:44
А.М. Миронов – известный ученый, талантливый математик, автор работ в области теории автоматов, математической теории программирования, математической логики, информационной безопасности, машинному обучению. В этих направлениях им получены глубокие результаты, опубликованные более чем в 50 статьях и 15 монографиях. Особо следует отметить его достижения в исследовании свойств корректности и безопасности программ и криптографических протоколов.
А.М. Миронов окончил механико-математический факультет МГУ имени М.В. Ломоносова, а затем его аспирантуру, которую закончил в 1992 году защитой кандидатской диссертации на тему "Морфизмы реакции для автоматов в категориях".
В 1986-1989 г. работал инженером-программистом в Главном вычислительном центре Госплана СССР. С 1992 г. по 1994 г. работал в центре новых информационных технологий МГУ, в 1994-1997 г. преподавал на факультете вычислительной математики и кибернетики МГУ. В 1996-1997 г. работал программистом в Московском Центре SPARC-технологий. В 1997-2001 г. работал в должности research associate в Drexel University (Филадельфия, США) и в University of New Brunswick (Фредериктон, Канада).
А.М. Миронов читает на механико-математическом факультете МГУ имени М.В. Ломоносова курсы лекций, среди которых «Математическая теория программирования», «Вычислительная логика», «Математические основы информационной безопасности», «Машинное обучение», «Интеллектуальные методы анализа протоколов безопасности», «Методы искусственного интеллекта в задачах анализа данных и верификации программ», руководит работой спецсеминаров «Математические основы информатики» и «Большие данные, машинное обучение и финансовая математика». Под его научным руководством выполнено 38 дипломных работ.
Сердечно поздравляем Андрея Михайловича с юбилеем, желаем крепкого здоровья, творческого долголетия и счастья.