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