Курсы и семинары :: Студенты и аспиранты Миронова А.М. :: Публикации Миронова А.М. :: Публикации учеников Миронова А.М.

Миронов Андрей Михайлович

к.ф.-м.н., доцент, куратор 6-го курса групп МаТИС

А.М.Миронов родился 4 августа 1966 года в г. Москве.

В 1981-1983 г. учился в физико-математической школе 18 при МГУ (в настоящее время – СУНЦ МГУ им. А.Н.Колмогорова).

А.М.Миронов учился на механико-математическом факультете МГУ им. М. В. Ломоносова. Дипломная работа была выполнена под руководством профессора Льва Анатольевича Скорнякова и посвящена построению универсальных линейных автоматов.

С 1989 года А.М.Миронов обучался в аспирантуре механико-математического факультета, которую закончил в 1992 году защитой кандидатской диссертации на тему "Морфизмы реакции для автоматов в категориях".

В 1986-1989 г. работал инженером-программистом в Главном вычислительном центре Госплана СССР.

С 1992 г. по 1994 г. работал в центре новых информационных технологий МГУ, в 1994-1997 г. преподавал на факультете вычислительной математики и кибернетики МГУ.

В 1996-1997 г. работал программистом в Московском Центре SPARC-технологий.

В 1997-2001 г. работал в должности research associate в Drexel University (Филадельфия, США) и в University of New Brunswick (Фредериктон, Канада).

А.М. Миронов преподаёт на мехмате МГУ, СУНЦ МГУ и в НИУ "Высшая Школа Экономики", читает курсы по теоретической информатике, верификации программ, криптографическим протоколам.

Область научных интересов. Теория автоматов, математическая теория программирования, математическая логика, информационная безопасность.

А.М.Миронов читает спецкурсы "Математическая теория программирования", "Вычислительная логика" и "Математические основы информационной безопасности", ведёт семинары по верификации программ. Имеет 45 публикаций.

Email: amironov66@gmail.com

См. также: http://istina.msu.ru/workers/21099259/

Аспиранты Миронова А.М., выпускники аспирантуры кафедры

Студенты и магистранты Миронова А.М.

Список основных публикаций Миронова А.М.

• Миронов А.М. Верификация программ методом Model Checking. Электронная публикация, 2020 г., 74 стр.
• Миронов А.М., Верификация программ. Часть 1: нерекурсивные программы. Электронное издание, 2020 г. 72 cтр.
• Миронов А.М., Криптографические протоколы, часть 1. Ташкент, издательство филиала МГУ в Узбекистане, 2010. 129 c.
• Миронов А.М. Учебное пособие по вероятностному алгоритму проверки чисел на простоту
• Миронов А.М., Теория функциональных программ. Часть 1. – М.: ИПИ РАН, 2013. 160 с.
• Миронов А.М. Теория вероятностных автоматов, часть 1, электронная публикация на портале arxiv.org
• Миронов А.М., Верификация функциональных программ методом построения диаграмм состояний. Труды Международной научно-практической конференции Tools & Methods of Program Analysis (TMPA 2015), Санкт-Петербург: издательство Политехнического университета, 2015, с. 135-145.
• Миронов А.М., Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений, Информатика и её применения, 2014. Т. 8. Вып. 2, с. 57-71.
• Миронов А.М., Михеев А.Г., Пятецкий В.Е., Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса. Проблемы управления, 2015, вып. 1. С. 30-37.
• Миронов А.М., Френкель С.Л. Минимизация вероятностных моделей программ, Фундаментальная и прикладная математика, 2014, т. 19, вып. 1. С. 121-163.
• Миронов А.М., Доказательство теоремы Гёделя о неполноте, основанное на понятиях функционального программирования. Интеллектуальные системы. Теория и приложения. - Т. 18, вып. 4. – М.: 2014. – С. 267-291.
• Mironov A.M., Frenkel S.L. Minimization of Probabilistic Models of Programs, Journal of Mathematical Sciences, 2015, Vol. 211, Issue 3, pp 381-412.
• Миронов А.М. Верификация программ методом Model Checking. Электронная публикация, 2012.
• Миронов А.М., Математическая логика. Ташкент, издательство филиала МГУ в Узбекистане, 2010. 79 c.
• Миронов А.М., Теория процессов, Издательство НОУ Институт программных систем – Университет г. Переславля им. А.К,Айламазяна, 346 с., 2008.
• Миронов А.М., Нечеткие модальные логики, Фундаментальная и прикладная математика, 2003, Том 9, вып. 1, стр. 201-230.
• Миронов А.М., Верификация функциональных программ на основе построения их графовых моделей, Труды IX международной конференции Интеллектуальные системы и компьютерные науки, 23-27 октября, 2006, Московский гос. университет им. М.В.Ломоносова, том. 2, стр 207-211
• Миронов А.М., Жуков Д.Ю., Математическая модель и методы верификации программных систем, Интеллектуальные системы, том. 9, 2005, Москва, стр. 209-252
• Mironov A.M., Bhavsar V.C., Fuzzy modal logics, in: Proceedings of Workshop on Multi-Valued Logic Programming and Applications, MVLPA 2006, Seattle, WA, August 21, 2006, pp. 73-88.
• Mironov A. M., Fuzzy Modal Logics, Journal of Mathematical Sciences, 8-2005, Volume 128, Issue 6, pp 3461-3483.
• Миронов А.М., Жуков Д.Ю., Математическая модель и методы верификации программных систем, Информационные технологии и вычислительные системы, 2005, Вып. 1, стр. 49-67.
• Миронов А. М. Каноническая реализация совокупностей морфизмов реакции для автоматов в категориях, Математика, информатика: теория и практика. Сборник трудов, посвященный 10-летию Университета города Переславля / Под редакцией А. К. Айламазяна. – Переславль-Залесский: Издательство: Университет города Переславля, 2003. – 246 с.: ил., ISBN 5-901795-02-4, стр. 65-88.
• Миронов А.М., Жуков Д.Ю., Методы анализа программных систем, в сб. Программные системы: теория и приложения, труды международной кооференции Программные системы: теория и приложения, ИПС РАН, г. Переславль-Залесский, 2004, т.1, с. 297-336
• A. Mironov, Typed Tree Automata, Technical Report TR99-126, University of New Brunswick, Fredericton, Canada, Oct 1999.
• A. Mironov, V. C. Bhavsar, A New Approach For Specification And Verification Of Distributed Agents, Technical Report TR98_120a, University of New Brunswick, Fredericton, Canada, Jun 2000.
• A. Meystel, A. Mironov, Multiresolutional Representation and Control for Intelligent Control Systems, Technical Report, Parts I, II, III, Drexel University, Philadelphia PA, NIST, Gaithersburg, MD, 1998.
• A. Meystel, A. Mironov, Quasi-commutative Diagrams of Multiresolutional Systems of Representation and Control, Proceedings of the 1998 IEEE Joint Conference on Science and Technology of Intelligent Systems, ISIC-CIRA-ISAS'98, Gaithersburg, MD 1008, pp. 72-77.
• Mironov A.M., Implementation of fuzzy automata by experiments, in: Fuzzy Logic and Intelligent Technologies in Russia, Selected Russian Contributions of FLINS'94, edited by Da Ruan, Gert de Cooman, Alexander P. Ryjov, SCK-CEN, BLG-669, FLINS, Volume 3, pp. 19-37.
• Mironov A.M., Universal fuzzy automata, in: Fuzzy Logic and Intelligent Technologies in Russia, Selected Russian Contributions of FLINS'94, edited by Da Ruan, Gert de Cooman, Alexander P. Ryjov, SCK-CEN, BLG-669, FLINS, Volume 3, pp. 39-71.
• Миронов А.М., Морфизмы реакции для автоматов в категориях, диссертация на соискание ученой степени кандидата физико-математических наук, 151 с., Москва, 1992.
• Миронов А.М., Каноническая реализация частичных морфизмов реакции, Успехи математических наук, 1992, v. 47, вып. 1, с. 219-220.
• Миронов А.М., Универсальные разложимые системы, Доклады Академии Наук, 1990, т. 315, вып. 2, c. 302-308.
• Михайлов В.Б., Миронов А.М., Оценки сходимости процессов Ньютона-Канторовича для нелинейных систем алгебро-дифференциальных уравнений на числовом промежутке, Интеллектуальные интегрированные САПР РЭА и БИС, cборник научных трудов ИАП АН СССР, Москва, Наука, 1990, с. 76-83.

Список научных публикаций учеников Миронова А.М.

Наверх