English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и лабораторий Проблем теоретической кибернетики и Математичеких проблем искусственного интеллекта механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сайта Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Канал кафедры МаТИС в Телеграм

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

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

к.ф.-м.н., доцент, куратор 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/

                 

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

Фамилия, имя, отчество Год обучения
Чехонин Дмитрий Александрович 1
Плетнев Алексей Николаевич 1
Таранец Николай Евгеньевич 1
Савушкин Алан Сергеевич 1
Садыков Рафаэль Фаритович 4

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

Фамилия, имя, отчество Группа
Горбушин Виталий Валерьевич 311
Зенков Тимофей Владимирович 311
Исаев Максим Дмитриевич 311
Исхаков Даниил Рамильевич 311
Кондаурова Ксения Сергеевна 311
Кудряшов Дмитрий Романович 311
Лещенко Сергей Михайлович 311
Семёнов Никита Антонович 311
Уткин Глеб Игорьевич 311
Бондарев Никита Сергеевич 331
Виноградов Клим Николаевич 331
Пашаев Рафаэль Яхьяевич 331
Пятина Анна Константиновна 331
Зеленин Герман Евгеньевич 333
Шляхов Артем Вячеславович 333
Коригов Мансур Адамович 341
Беляев Матвей Артёмович 411
Горбушин Виталий Валерьевич 411
Гурский Георгий Валентинович 411
Джемгиров Очир Санджиевич 411
Дунаев Ярослав Александрович 411
Исхаков Даниил Рамильевич 411
Калинин Михаил Антонович 411
Лесиков Алексей Михайлович 411
Лобастова Екатерина Олеговна 411
Маслюков Дмитрий Владимирович 411
Орлов Глеб Васильевич 411
Уткин Глеб Игоревич 411
Халитова Рената Булатовна 411
Честнов Роберт Валентинович 411
Блажевич Игорь Юрьевич 511
Возвышаев Александр Андреевич 511
Зиборов Кирилл Викторович 511
Колосов Дмитрий Григорьевич 511
Красных Алексей Владимирович 511
Мазурин Александр Дмитриевич 511
Мосиевич Кирилл Викторович 511
Бабий Полина Сергеевна 532
Иванова Екатерина Александровна 532
Исаев Семён Николаевич 532
Косьяненко Максим Валерьевич 532
Ушаков Иван Владимирович 525
Костюшко Леонид Игоревич 525
Блажевич Игорь Юрьевич 611
Кузнецов Иван Анатольевич 611
Лутовинова Надежда Александровна 611
Мареев Никита Геннадьевич 611
Носков Николай Викторович 611
Фельдшеров Сергей Дмитриевич 611
Юдаков Даниил Андреевич 611
Бобоев Одилбек Филиал МГУ в г. Ташкенте, 6 курс
Волков Глеб магистратура
Рапортиренко Михаил магистратура
Cавушкин Алан магистратура

 

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

  • Миронов А.М. Верификация программ методом 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.

 

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

Наверх

   © 2001- г. Кафедра Математической теории интеллектуальных систем, лаборатория ПТК, лаборатория МПИИ Написать вебмастеру   
Последние новости - в телеграм-канале кафедры МаТИС: Канал кафедры МаТИС в Телеграм Rambler's Top100 Рейтинг@Mail.ru