ИСТИНА

Миронов Андрей Михайлович пользователь

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем, доцент, с 2 ноября 1992

кандидат физико-математических наук с 1992 года

Соавторы: Frenkel S.L., Bhavsar V.C., Meystel A., Михеев А.Г., Пятецкий В.Е., Галатенко А.В., Голиков К.А., Дергач П.С., Жук Д.Н., Ищенко Р.А., Курганов Е.А., Мазуренко И.Л., Моисеев С.В. показать полностью..., Подколзин А.С.

52 статьи, 13 книг, 11 докладов на конференциях, 3 НИР, 1 членство в научном обществе, 3 членства в программных комитетах, 1 диссертация, 10 дипломных работ, 97 курсовых работ, 20 учебных курсов

Количество цитирований статей в журналах по данным Web of Science: 0, Scopus: 22

IstinaResearcherID (IRID): 21099259

Scopus Author ID: 8587991500

Деятельность

• Статьи в журналах

  • • 2022 A Mathematical Model of Parallel Programs and an Approach to Verification of MPI Programs Based on the Proposed Model
    • Mironov A.M.
    • в журнале Automatic Control and Computer Sciences, издательство Allerton Press Inc. (United States), том 56, № 7, с. 762-777 DOI
  • • 2022 An Approach for Formal Verification of Authentication Protocols
    • Mironov A.M.
    • в журнале Lobachevskii Journal of Mathematics, издательство Kazanskii Gosudarstvennyi Universitet/Kazan State University (Russian Federation), том 42, № 2, с. 443-454 DOI
  • • 2022 Implementability of Numeric Functions by Probabilistic Automata
    • Mironov A.M.
    • в журнале Lobachevskii Journal of Mathematics, издательство Kazanskii Gosudarstvennyi Universitet/Kazan State University (Russian Federation), том 43, № 9, с. 2544-2549 DOI
  • • 2022 Математическая модель и методы верификации криптографических протоколов
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 26, № 2, с. 85-144
  • • 2022 Процессный подход к моделированию и верификации параллельных программ
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 26, № 1, с. 120-124
  • • 2021 Математическая модель параллельных программ и основанный на ней подход к верификации MPI-программ
    • Миронов А.М.
    • в журнале Моделирование и анализ информационных систем, издательство Яросл. гос. ун-т (Ярославль), том 28, № 4, с. 394-412 DOI
  • • 2020 Верификация функциональных программ методом построения диаграмм состояний
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 24, № 1, с. 25-54
  • • 2019 Графовое представление функциональных программ и основанный на нем метод верификации функциональных программ
    • Миронов А.М.
    • в журнале Системы высокой доступности, издательство Издательство "Радиотехника" (Москва), том 15, № 4, с. 49-74 DOI
  • • 2018 Новая математическая модель протоколов аутентификации и основанный на ней метод верификации
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 4, с. 79-98
  • • 2018 “Доклады семинара «Теория автоматов»”
    • Ищенко Р.А., Подколзин А.С., Жук Д.Н., Моисеев С.В., Миронов А.М., Голиков К.А., Дергач П.С., Галатенко А.В., Мазуренко И.Л., Коновалов А.Ю., Курганов Е.А.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 22, № 4, с. 137-142
  • • 2017 Верификация программ методом инвариантов
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 21, № 4, с. 60-100
  • • 2017 Протоколы безопасности, часть 1
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 21, № 3, с. 65-105
  • • 2016 Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 20, № 3, с. 214-219
  • • 2016 Основные понятия теории вероятностных автоматов. Часть 2
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 20, № 2, с. 283-330
  • • 2016 Основные понятия теории функциональных программ
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 20, № 1, с. 79-180
  • • 2015 Minimization of Probabilistic Models of Programs
    • Mironov A.M., Frenkel S.L.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 211, № 3, с. 381-412 DOI
  • • 2015 Алгоритм проверки ограниченности числа точек управления в экземпляре бизнес-процесса
    • Миронов А.М., Михеев А.Г., Пятецкий В.Е.
    • в журнале Проблемы управления, издательство Институт проблем управления им. В.А. Трапезникова РАН (Москва), № 1, с. 30-37
  • • 2015 Критерий реализуемости функций на строках вероятностными автоматами Мура с числовым выходом
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 19, № 2, с. 175-186
  • • 2015 О реализуемости функций на строках вероятностными автоматами
    • Миронов А.М.
    • в журнале Труды Института системного анализа Российской академии наук, том 65, № 4, с. 26-31
  • • 2015 Основные понятия теории вероятностных автоматов
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 19, № 4, с. 75-116
  • • 2015 Реализуемость вероятностных реакций конечными вероятностными автоматами
    • Миронов А.М.
    • в журнале Информатика и ее применения, издательство ИПИ РАН (М.), том 9, № 3, с. 88-99
  • • 2014 Доказательство теоремы Гёделя о неполноте, основанное на понятиях функционального программирования
    • Миронов А.М.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 18, № 4, с. 267-291
  • • 2014 Метод доказательства наблюдаемой эквивалентности процессов с передачей сообщений
    • Миронов А.М.
    • в журнале Информатика и ее применения, издательство ИПИ РАН (М.), том 8, № 2, с. 57-71 DOI
  • • 2014 Метод повышения эффективности решения задач вероятностной верификации вычислительных и телекоммуникационных систем
    • Миронов А.М., Френкель С.Л.
    • в журнале Информатика и ее применения, издательство ИПИ РАН (М.), том 8, № 4, с. 60-71
  • 
    • 2014 Минимизация вероятностных моделей программ
    • Миронов А.М., Френкель С.Л.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 19, № 1, с. 121-163
  • 
    • 2005 Fuzzy Modal Logics
    • Mironov A.M.
    • в журнале Journal of Mathematical Sciences, издательство Plenum Publishers (United States), том 128, № 6, с. 3461-3483
  • • 2005 Математическая модель и методы верификации программных систем
    • Миронов А.М., Жуков Д.Ю.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 9, с. 209-252
  • • 2003 Нечеткие модальные логики
    • Миронов А.М.
    • в журнале Фундаментальная и прикладная математика, издательство Интуит (М.), том 9, № 1, с. 201-230
  • • 1992 Каноническая реализация частичных морфизмов реакции
    • Миронов А.М.
    • в журнале Успехи математических наук, издательство Наука (М.), том 47, № 1, с. 219-220
  • 
    • 1990 Универсальные разложимые системы
    • Миронов А.М.
    • в журнале Доклады Академии наук, издательство Наука (М.), том 315, № 2, с. 302-308

• Статьи в сборниках

  • 
    • 2021 A New Approach to Modelling and Verification of Functional Programs
    • Mironov Andrew M.
    • в сборнике Proceedings of 10th Computer Science On-line Conference, серия Lecture Notes in Networks and Systems, издательство Springer International Publishing AG (Cham, Switzerland), том 228, с. 114-137 DOI
  • 
    • 2021 New Method of Verifying Cryptographic Protocols, Based on the Process Model
    • Mironov Andrew M.
    • в сборнике Proceedings of 10th Computer Science On-line Conference, серия Lecture Notes in Networks and Systems, издательство Springer International Publishing AG (Cham, Switzerland), том 229, с. 95-109 DOI
  • • 2021 Верификация криптографических протоколов
    • Миронов А.М.
    • в сборнике Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов, издательство Тверской государственный университет (Тверь), с. 213-234
  • • 2018 A new method of verification of security protocols
    • Mironov A.M.
    • в сборнике Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018, издательство Яросл. гос. ун-т (Ярославль), с. 68-78
  • • 2016 Logics for Representation of Propositions with Fuzziness Modalities
    • Mironov A.M.
    • в сборнике Proceedings of the 2nd International Workshop on Soft Computing Applications and Knowledge Discovery (SCAKD 2016), место издания Printed by the National Research University Higher School of Economics Moscow, с. 48-62
  • • 2016 On a Method of Verification of Functional Programs
    • Mironov A.M.
    • в сборнике Proceedings of the Fifth International Valentin Turchin Workshop on Metacomputation, место издания Издательство университета г. Переславля Pereslavl-Zalessky, с. 139-158
  • • 2015 Верификация функциональных программ методом построения диаграмм состояний
    • Миронов А.М.
    • в сборнике Труды Международной научно-практической конференции Tools and Methods of Program Analysis (TMPA 2015), место издания Санкт-Петербург: издательство Политехнического университета Санкт-Петербург, с. 135-145
  • • 2014 A Method of a Proof of Observational Equivalence of Processes
    • Mironov A.
    • в сборнике Proceedings of the Fourth International Valentin Turchin Workshop on Metacomputation, место издания Издательство университета г. Переславля Pereslavl-Zalessky, с. 194-222
  • • 2014 A Sufficient Condition of Observational Equivalence of Processes
    • Mironov A.
    • в сборнике Proceedings of International Conference Perspectives of system informatics, место издания EPiC Series, том 23, с. 9-29
  • • 2014 Метод понижения вычислительной сложности в задачах верификации вероятностных моделей программ
    • Миронов А.М., Френкель С.Л.
    • в сборнике Материалы Международной научно-практической конференции: Tools & Methods of Program Analysis, TMPA-2014, место издания Кострома: КГТУ, с. 84-94
  • • 2014 Новый метод верификации дискретных процессов,
    • Миронов А.М.
    • в сборнике Труды конференции Ломоносов 2014, cекция Математика и механика, место издания издательство МГУ Москва
  • • 2013 Реализация алгоритма проверки ограниченности количества точек управления в свободной системе управления бизнес-процессами и административными регламентами RunaWFE
    • Миронов А.М., Михеев А.Г., Пятецкий В.Е.
    • в сборнике Труды Десятой конференции разработчиков свободных программ, место издания Калуга, с. 15-21
  • • 2006 Fuzzy modal logics
    • Mironov A.M., Bhavsar V.C.
    • в сборнике Proceedings of Workshop on Multi-Valued Logic Programming and Applications, MVLPA 2006, место издания Seattle, WA, с. 73-88
  • • 2006 Верификация функциональных программ на основе построения их графовых моделей
    • Миронов А.М.
    • в сборнике Материалы IX Международной конференции "Интеллектуальные системы и компьютерные науки" (23-27 октября 2006 г.), место издания Изд-во механико-математического факультета МГУ Москва, том 2, с. 23-27
  • • 2004 Методы анализа программных систем
    • Миронов А.М., Жуков Д.Ю.
    • в сборнике Программные системы: теория и приложения, труды международной конференции Программные системы: теория и приложения, с. 297-336
  • • 2003 Каноническая реализация совокупностей морфизмов реакции для автоматов в категориях
    • Миронов А.М.
    • в сборнике Математика, информатика: теория и практика. Сборник трудов, посвященный 10-летию Университета города Переславля, место издания Изд-во "Университета города Переславля, с. 65-88
  • 
    • 1998 Quasi-commutative Diagrams of Multiresolutional Systems of Representation and Control
    • Meystel A., Mironov A.
    • в сборнике Proceedings of the 1998 IEEE Joint Conference on Science and Technology of Intelligent Systems, ISIC-CIRA-ISAS'98, Gaithersburg, MD 1008, место издания Gaithersburg, MD, с. 72-77
  • • 1996 Fuzzy modal logic
    • Mironov A.M.
    • в сборнике Proceedings of International Conference Artificial Intelligence and Mathematics, место издания Marina Marriott, Fort Lauderdale, Florida
  • • 1995 Logics with Fuzzy Modalities
    • Mironov A.M.
    • в сборнике Proceedings of International Conference Foundation and Applications of Possibility Theory Fapt '95 : Ghent, Beigium, место издания Ghent, Beigium, с. 13-15
  • • 1994 Implementation of fuzzy automata by experiments
    • Mironov A.M.
    • в сборнике 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, том 3, с. 19-37
  • • 1994 Universal fuzzy automata
    • Mironov A.M.
    • в сборнике 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, том 3, с. 39-71
  • • 1990 Оценки сходимости процессов Ньютона-Канторовича для нелинейных систем алгебро-дифференциальных уравнений на числовом промежутке
    • Михайлов В.Б., Миронов А.М.
    • в сборнике Интеллектуальные интегрированные САПР РЭА и БИС, cборник научных трудов ИАП АН СССР, место издания Москва, Наука, с. 76-83

• Книги

  • • 2022 Математические модели и методы верификации процессов
    • Миронов Андрей Михайлович
    • издательство ООО "МАКС Пресс" (Москва) , ISBN 978-5-317-06893-6, 104 с.
  • • 2020 Верификация программ методом model checking
    • Миронов А.М.
    • издательство ООО "МАКС Пресс" (Москва) , ISBN 978-5-317-06514-0, 74 с.
  • • 2018 Машинное обучение, часть 1
    • Миронов А.М.
    • издательство ООО "МАКС Пресс" (Москва) , ISBN 978-5-317-06012-1, 90 с.
  • • 2017 Верификация программ: Часть 1: нерекурсивные программы
    • Миронов Андрей Михайлович
    • место издания МАКС Пресс Москва, ISBN 978-5-317-05721-3, 76 с.
  • • 2016 Криптографические протоколы, часть 1
    • Миронов А.М.
    • место издания Москва электронная публикация, 119 с.
  • • 2016 Учебное пособие по вероятностному алгоритму проверки чисел на простоту
    • Миронов А.М.
  • • 2013 Теория функциональных программ. Часть 1
    • Миронов А.М.
    • место издания ИПИ РАН М, ISBN 978-5-91993-024-2, 160 с.
  • • 2012 Верификация программ методом Model Checking
    • Миронов А.М.
    • место издания Москва, 84 с.
  • • 2010 Математическая логика
    • Миронов А.М.
    • место издания Издательство филиала МГУ в Узбекистане Ташкент, 79 с.
  • • 2008 Теория процессов,
    • Миронов А.М.
    • место издания Издательство НОУ Институт программных систем - Университет г. Переславля им. А.К,Айламазяна Переславль-Залесский, ISBN 978-5-901795-14-9, 346 с.
  • • 2000 A New Approach For Specification And Verification Of Distributed Agents
    • Mironov A., Bhavsar V.C.
    • издательство University of New Brunswick (Canada)
  • • 1999 Typed Tree Automata
    • Mironov A.
    • место издания University of New Brunswick, Fredericton, Canada University of New Brunswick, Fredericton, Canada
  • • 1998 Multiresolutional Representation and Control for Intelligent Control Systems
    • Meystel A., Mironov A.
    • место издания NIST Gaithersburg, MD

• Доклады на конференциях

  • • 2021 Верификация криптографических протоколов (Устный)
    • Автор: Миронов Андрей Михайлович
    • Математические основы информатики и информационно-коммуникационных систем., Тверь., Россия, 3-8 декабря 2021
  • • 2021 Моделирование и верификация параллельных программ (Устный)
    • Автор: Миронов Андрей Михайлович
    • XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
  • • 2021 Mathematical model and method for verifying parallel programs (Устный)
    • Автор: Миронов Андрей Михайлович
    • XII Workshop Program Semantics, Specification and Verification: Theory and Applications PSSV-2021, Иннополис, Россия, 4-5 ноября 2021
  • • 2020 Верификация функциональных программ методом построения диаграмм состояний (Устный)
    • Автор: Миронов А.М.
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2020 Нейросетевой анализ схожести входных данных (Устный)
    • Авторы: Миронов А.М., Савушкин А.С.
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2020 Формальные методы верификации протоколов консенсуса семейства Paxos (Устный)
    • Авторы: Миронов А.М., Садыков Р.Ф.
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2018 A new method of verification of security protocols (Устный)
    • Автор: Mironov A.M.
    • 9-th International Workshop Program Semantics, Specification and Verification: Theory and Applications (PSSV 2018, June 21-22, 2018, Yaroslavl, Russia), Ярославль, Россия, 21-22 июня 2018
  • • 2016 Верификация криптографических протоколов на основе понятия наблюдаемой эквивалентности (Устный)
    • Автор: Миронов А.М.
    • XI международная конференция «Интеллектуальные системы и компьютерные науки», Механико-математический факультет МГУ им.М.В.Ломоносова., Россия, 28 ноября - 2 декабря 2016
  • • 2016 Logics for Representation of Propositions with Fuzziness Modalities (Устный)
    • Автор: Mironov A.M.
    • 2nd International Workshop on Soft Computing Applications and Knowledge Discovery (SCAKD 2016), Москва, Россия, 18 июля 2016
  • • 2016 On a Method of Verification of Functional Programs (Устный)
    • Автор: MIronov A.M.
    • Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 ), June 27 - July 1, 2016, Pereslavl-Zalessky , Pereslavl-Zalessky, Россия, 27 июня - 1 июля 2016
  • • 2015 Верификация функциональных программ методом построения диаграмм состояний (Устный)
    • Автор: Миронов А.М.
    • Международная научно-практическая конференция: Tools & Methods of Program Analysis, TMPA-2015, Санкт-Петербург, Россия, 12-14 ноября 2015

• НИРы

  • • 1 января 2021 - 31 декабря 2025 Теория интеллектуальных систем и автоматов 2021-2025
    • Кафедра математической теории интеллектуальных систем
    • Руководители: Гасанов Э.Э., Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Быстрыгова А.В., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Иванов И.Е., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
  • • 3 декабря 2018 - 2 марта 2020 Разработка математической модели для улучшения работы сети 5G с множественной информацией
    • Лаборатория управления и навигации
    • Руководитель: Попеленский М.Ю. Участник НИР: Миронов А.М.
  • • 1 января 2016 - 31 декабря 2020 Теория интеллектуальных систем и автоматов 2016-2020
    • Кафедра математической теории интеллектуальных систем
    • Руководитель: Кудрявцев В.Б. Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Буевич В.А., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.

• Членство в научных обществах

  • • с 1989 Московское Математическое Общество
    • Россия

• Участие в программных комитетах конференций

  • • 27-28 мая 2021 Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE)
    • Член программного комитета
    • Москва, Россия
  • • 14-17 сентября 1998 IEEE International Symposium on Intelligent Control. An International Conference Sponsored by NIST, IEEE, NSF, ARO. National Institute of Standards and Technology, Gaithersburg, Maryland, USA.
    • Член программного комитета
    • Вашингтон, США, США
  • • 22-25 сентября 1997 Intelligent systems and semiotics `97: A Learning Perspective. An International Conference Sponsored by NIST, IEEE, NSF, ARO. National Institute of Standards and Technology, Gaithersburg, Maryland, USA,
    • Член программного комитета
    • Вашингтон, США, США

• Диссертация

  • • 1992 Морфизмы реакции для автоматов в категориях
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Миронов Андрей Михайлович, к.ф.-м.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Михалев А.В., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д.053.05.05 при механико-математический факультет МГУ им. М. В. Ломоносова

• Руководство дипломными работами

  • • 2022 Распределение мощностей передаваемых символов в задаче оптимального прекодинга для систем связи 5G
    • Научный руководитель: Миронов А.М.
    • Автор: Юдаков Даниил Андреевич (Специалист)
  • • 2022 Построение математической модели и верификация параллельного алгоритма вычисления собственных значений
    • Научный руководитель: Миронов А.М.
    • Автор: Чебодаев Максим Иннокентьевич (Специалист)
  • • 2022 Обнаружение аномалий во временных рядах
    • Научный руководитель: Миронов А.М.
    • Автор: Анисеня Иван Ильич (Специалист)
  • • 2022 Верификация криптографических протоколов, основанных на системах шифрования с открытым ключом
    • Научный руководитель: Миронов А.М.
    • Автор: Лутовинова Надежда Александровна (Специалист)
  • • 2022 Анализ эмоций и психики человека по электроэнцефалограмме
    • Научный руководитель: Миронов А.М.
    • Автор: Маркитантов Алексей Вячеславович (Специалист)
  • • 2021 Оптимизация сегментации больших графов
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Корчагин Никита Павлович (Специалист)
  • • 2021 Обнаружение дефектов стали методами компьютерного зрения с использованием свёрточных нейронных сетей
    • Научные руководители: Миронов Андрей Михайлович, Мартынова Елена Дмитриевна
    • Автор: Кириллов Иван Владимирович (Специалист)
  • • 2020 Нейросетевой анализ схожести входных данных
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Савушкин Алан Сергеевич (Магистр)
  • • 2019 Верификация алгоритма нахождения консенсуса с использованием верификатора Spin
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Волков Глеб Владимирович (Магистр)
  • • 2019 Алгоритм дисциплины для системы массового обслуживания в условиях наличия штрафа при переключении
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Максимова Марина Сергеевна (Специалист)

• Руководство курсовыми работами

  • • 2022 Ценообразование опционов колл и пут в модели Хестона стохастической волатильности.
    • Научный руководитель: Миронов А.М.
    • Автор: Шин Владимир Юрьевич (Специалист)
  • • 2022 Статистическая идентификация скачков в криптоактивах
    • Научный руководитель: Миронов А.М.
    • Автор: Возвышаев Александр Андреевич (Специалист)
  • • 2022 Сравнение однофакторных моделей процентной ставки
    • Научный руководитель: Миронов А.М.
    • Автор: Орлов Глеб Васильевич (Специалист)
  • • 2022 Составление математической модели и обзор системы электронного голосования
    • Научный руководитель: Миронов А.М.
    • Автор: Шляхов Артем Вячеславович (Специалист)
  • • 2022 Распознавание жанра музыкальных произведений по аудиотреку
    • Научный руководитель: Миронов А.М.
    • Автор: Иванова Екатерина Александровна (Специалист)
  • • 2022 Примеры использования машинного обучения в кибербезопасности
    • Научный руководитель: Миронов А.М.
    • Автор: Виноградов Клим Николаевич (Специалист)
  • • 2022 Применение модели обработки естественного языка для определения тональности текста
    • Научный руководитель: Миронов А.М.
    • Автор: Лесиков Алексей Михайлович (Специалист)
  • • 2022 Применение алгоритмов тематического моделирования для классификации и категоризации документов
    • Научный руководитель: Миронов А.М.
    • Автор: Косьяненко Максим Валерьевич (Специалист)
  • • 2022 Отрицательная обратная связь при интерактивном обучении моделей анализа эмоциональной тональности текстов
    • Научный руководитель: Миронов А.М.
    • Автор: Лобастова Екатерина Олеговна (Специалист)
  • • 2022 Основные звуковые характеристики. Классификация речевых эмоций
    • Научный руководитель: Миронов А.М.
    • Автор: Зеленин Герман Евгеньевич (Специалист)
  • • 2022 Оптимизация количества параметров нейронной сети, решающей задачу классификации изображений
    • Научный руководитель: Миронов А.М.
    • Автор: Кондаурова Ксения Сергеевна (Специалист)
  • • 2022 Обучение с подкреплением
    • Научный руководитель: Миронов А.М.
    • Автор: Кувшинов Владимир Георгиевич (Специалист)
  • • 2022 Обзор некоторых улучшений генеративно-состязательных сетей
    • Научный руководитель: Миронов А.М.
    • Автор: Исхаков Даниил Рамильевич (Специалист)
  • • 2022 Обзор на протокол тайного голосования ElectAnon
    • Научный руководитель: Миронов А.М.
    • Автор: Уткин Глеб Игоревич (Специалист)
  • • 2022 Начала библиотеки quant. Кредитно-дефолтные свопы.
    • Научный руководитель: Миронов А.М.
    • Автор: Гурский Георгий Валентинович (Специалист)
  • • 2022 Мультиисточниковое трансферное обучение для межпредметного распознавания эмоций с помощью электроэнцефалограммы
    • Научный руководитель: Миронов А.М.
    • Автор: Лещенко Сергей Михайлович (Специалист)
  • • 2022 Модель Хестона и ее обобщения
    • Научный руководитель: Миронов А.М.
    • Автор: Дунаев Ярослав Александрович (Специалист)
  • • 2022 Моделирование и анализ криптопортфеля
    • Научный руководитель: Миронов А.М.
    • Автор: Честнов Роберт Валентинович (Специалист)
  • • 2022 Метод подбора контрольной группы для проведения АБ тестов
    • Научный руководитель: Миронов А.М.
    • Автор: Красных Алексей Владимирович (Специалист)
  • • 2022 Метод абстракции чередований потоков для верификации моделей многопоточных программ
    • Научный руководитель: Миронов А.М.
    • Автор: Руденчик Вероника Павловна (Специалист)
  • • 2022 Математические модели прогноза течения заболеваний и анализ распространения Covid 19
    • Научный руководитель: Миронов А.М.
    • Автор: Исаев Семён Николаевич (Специалист)
  • • 2022 Математическая модель и метод верификации параллельных программ
    • Научный руководитель: Миронов А.М.
    • Автор: Горбушин Виталий Валерьевич (Специалист)
  • • 2022 Компьютерные подходы к решению задач хемоинформатики и вычислительной химии
    • Научный руководитель: Миронов А.М.
    • Автор: Исаев Максим Дмитриевич (Специалист)
  • • 2022 Исследование задачи пропорционально справедливого распределения радио ресурсов между пользователями в сети 5G
    • Научный руководитель: Миронов А.М.
    • Автор: Колосов Дмитрий Григорьевич (Специалист)
  • • 2022 Изучение дисциплин распределения ресурсов между пользователями в системах беспроводной связи 5G в модели пакетного трафика, основанной на Марковских цепях
    • Научный руководитель: Миронов А.М.
    • Автор: Блажевич Игорь Юрьевич (Специалист)
  • • 2022 Дедуктивная верификация свойств монадических функций смарт-контрактов на трассах
    • Научный руководитель: Миронов А.М.
    • Автор: Зиборов Кирилл Викторович (Специалист)
  • • 2022 Верификация процессов на примере протоколов передачи данных
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Калинин Михаил Антонович (Специалист)
  • • 2022 Верификация протокола Ву-Лама
    • Научный руководитель: Миронов А.М.
    • Автор: Зенков Тимофей Владимирович (Специалист)
  • • 2022 Безопасность смарт-контрактов Ethereum: уязвимости, контрмеры
    • Научный руководитель: Миронов А.М.
    • Автор: Коригов Мансур Адамович (Специалист)
  • • 2022 Анализ статистических параметров на деревьях таблиц и оценка их погрешностей в PostgreSQL
    • Научный руководитель: Миронов А.М.
    • Автор: Белялов Дамир Наилевич (Специалист)
  • • 2022 Адаптация и применение некоторых алгоритмов на графах для задач видимости ботов в игровых продуктах
    • Научный руководитель: Миронов А.М.
    • Автор: Носов Елисей Андреевич (Специалист)
  • • 2021 Ценообразование бескупонных облигаций в параметрической модели локальной волатильности CEV
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Шин Владимир Юрьевич (Специалист)
  • • 2021 Ценообразование американских опционов с помощью метода Рунге-Кутты-Лежандра
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Честнов Роберт Валентинович (Специалист)
  • • 2021 Формальная верификация смарт-контрактов с помощью цветных сетей Петри в блокчейн среде
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Чебодаев Максим Иннокентьевич (Специалист)
  • • 2021 Уточнение предикатной абстракции при раздельном анализе потоков
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Руденчик Вероника Павловна (Специалист)
  • • 2021 Создание динамической стратегии обучения с помощью метода машинного обучения
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Павлюков Антон Олегович (Специалист)
  • • 2021 Решение задачи детектирования игроков на футбольном поле посредством нейронных сетей со сверточной архитектурой
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Возвышаев Александр Андреевич (Специалист)
  • • 2021 Распределение мощностей в задаче прекодинга для алгоритма Zero Forcing для систем связи MIMO
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Юдаков Даниил Андреевич (Специалист)
  • • 2021 Построение модели среды исполнения смарт-контрактов в HOL4 для дедуктивной верификации свойств
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Зиборов Кирилл Викторович (Специалист)
  • • 2021 Построение XG модели и предсказание гола в футбольном матче
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Джемгиров Очир Санджиевич (Специалист)
  • • 2021 Повышение разрешения изображений с помощью генеративно-состязательных нейронных сетей
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Исаев Семен Николаевич (Специалист)
  • • 2021 Оценка финансовых показателей компаний с помощью машинного обучения
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Герасько Дмитрий Алексеевич (Специалист)
  • • 2021 Определение наличия дефектов по изображению поверхности листа стали с помощью конволюционных нейронных сетей
    • Научные руководители: Миронов Андрей Михайлович, Мартынова Елена Дмитриевна
    • Автор: Третьяков Денис Андреевич (Специалист)
  • • 2021 Одномерные модели волатильности
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Дунаев Ярослав Александрович (Специалист)
  • • 2021 Обнаружение аномалий в потоковых видеоданных
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Анисеня Иван Ильич (Специалист)
  • • 2021 Об одной задаче теории оптимальных дискретных процессов, важной для 5G
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Блажевич Игорь Юрьевич (Специалист)
  • • 2021 Некоторые алгоритмы машинного обучения
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Белялов Дамир Наилевич (Специалист)
  • • 2021 Моделирование микроструктурной динамики финансовых рынков с использованием расширенного метода Липтона
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Мосиевич Кирилл Викторович (Специалист)
  • • 2021 Моделирование инфляции
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Орлов Глеб Васильевич (Специалист)
  • • 2021 Модели строк для статической верификации
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Лутовинова Надежда Александровна (Специалист)
  • • 2021 Методы измерения волатильности и их отличия
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Гурский Георгий Валентинович (Специалист)
  • • 2021 Краткий обзор базовых алгоритмов обучения с подкреплением
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Бабий Полина Сергеевна (Специалист)
  • • 2021 Кластеризация электроэнцефалографических данных с целью обнаружения выбросов в выборке
    • Научные руководители: Миронов Андрей Михайлович, Бернадотт Александра
    • Автор: Мазурин Александр Дмитриевич (Специалист)
  • • 2021 Кластеризация новостных статей
    • Научные руководители: Миронов Андрей Михайлович, Мартынова Елена Дмитриевна
    • Автор: Артамонов Сергей Александрович (Специалист)
  • • 2021 Исследование технологии блокчейн. Сравнение современных подходов к решению проблемы масштабируемости в блокчейнах первого поколения
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Халитова Рената Булатовна (Специалист)
  • • 2021 Исследование инструментов анализа уязвимостей смарт-контрактов
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Пивнев Никита Сергеевич (Специалист)
  • • 2021 Исследование задачи оптимального распределения радио ресурсов между пользователями в сети 5G MIMO
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Колосов Дмитрий Григорьевич (Специалист)
  • • 2021 Использование векторных представлений слов в тематическом моделировании
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Красных Алексей Владимирович (Специалист)
  • • 2021 Изучение и сравнение различных подходов к лемматизации слов в предложении
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Лобастова Екатерина Олеговна (Специалист)
  • • 2021 Доопределение матрицы предпочтений до полного заполнения в задачах рекомендательных систем
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Акишин Кирилл Алексеевич (Специалист)
  • • 2021 Вычисление степеней посредничества в распределённых системах
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Фельдшеров Сергей Дмитриевич (Специалист)
  • • 2021 Верификация функциональных программ с применением системы HOL4
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Калинин Михаил Антонович (Специалист)
  • • 2021 Анализ тональности текста с помощью словаря эмотивной лексики
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Лесиков Алексей Михайлович (Специалист)
  • • 2021 VST — проект дедуктивной верификации
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Иванова Екатерина Александровна (Специалист)
  • • 2020 Формальная верификация протокола консенсуса Raft в интерактивных средах доказательства теорем
    • Научный руководитель: Миронов А.М.
    • Автор: Зиборов Кирилл Викторович (Специалист)
  • • 2020 Топологический анализ данных применительно к сведениям об активности нейронов места у мышей
    • Научные руководители: Миронов А.М., Мартынова Елена Дмитриевна
    • Автор: Кириллов Иван Владимирович (Специалист)
  • • 2020 Степень посредничества для графа и его подграфа кратчайших путей
    • Научные руководители: Миронов А.М., Моисеев С.В.
    • Автор: Корчагин Никита Павлович (Специалист)
  • • 2020 Сравнительный анализ прогнозируемых моделей SARIMA и Хольт-Уинтерса на примера временного ряда, отражающего кочество активных пользователей онлайн игры
    • Научный руководитель: Миронов А.М.
    • Автор: Мосиевич Кирилл Викторович (Специалист)
  • • 2020 Сегментация биомедицинских изображений рисунка капилляров в сетчатке глаза с использованием нейронных сетей и решение задачи о достаточном наборе данных для обучения
    • Научные руководители: Миронов А.М., Георгиевский Д.В.
    • Автор: Ушаков Иван Владимирович (Специалист)
  • • 2020 Сегментация биомедицинских изображений нейронными сетями
    • Научные руководители: Миронов А.М., Георгиевский Д.В.
    • Автор: Костюшко Леонид Игоревич (Специалист)
  • • 2020 Применение сверточной нейронной сети для распознавания рукописных цифр
    • Научный руководитель: Миронов А.М.
    • Автор: Косьяненко Максим Валерьевич (Специалист)
  • • 2020 Подходы к оценке VC-размерности
    • Научный руководитель: Миронов А.М.
    • Автор: Юдаков Даниил Андреевич (Специалист)
  • • 2020 Некоторые методы обработки естественного языка
    • Научный руководитель: Миронов А.М.
    • Автор: Носков Николай Викторович (Специалист)
  • • 2020 Методы векторного представления слов
    • Научный руководитель: Миронов А.М.
    • Автор: Красных Алексей Владимирович (Специалист)
  • • 2020 Математические модели строк с длиной для верификации программ
    • Научный руководитель: Миронов А.М.
    • Автор: Лутовинова Надежда Александровна (Специалист)
  • • 2020 Колоризация черно-белых изображений с помощью нейронных сетей
    • Научный руководитель: Миронов А.М.
    • Автор: Бабий Полина Сергеевна (Специалист)
  • • 2020 Квантовые алгоритмы и их формальная верификация
    • Научный руководитель: Миронов А.М.
    • Автор: Иванова Екатерина Александровна (Специалист)
  • • 2020 Аппроксимация разделяющих гиперповерхностей сигмоидальными функциями
    • Научные руководители: Миронов А.М., Бернадотт А.
    • Автор: Мазурин Александр Дмитриевич (Специалист)
  • • 2020 Алгоритм каскадной корреляции
    • Научный руководитель: Миронов А.М.
    • Автор: Блажевич Игорь Юрьевич (Специалист)
  • • 2020 Алгоритм "квантовое сверхплотное кодирование" и его формальная верификация
    • Научный руководитель: Миронов А.М.
    • Автор: Исаев Семён Николаевич (Специалист)
  • • 2019 Сравнение методов бинарной классификации зашумлённых данных
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Юдаков Даниил Андреевич (Специалист)
  • • 2019 Решение задачи сегментации объектов при помощи регрессора лэндмарков
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Каспарьянц Георгий Григорьевич (Специалист)
  • • 2019 Прогнозирование финансовых временных рядов с использованием рекуррентных нейронных сетей
    • Научные руководители: Миронов Андрей Михайлович, Георгиевский Дмитрий Владимирович
    • Автор: Сосенко Павел Евгеньевич (Специалист)
  • • 2019 Прогнозирование поломки бетонной плиты при двухосном сжатии средствами машинного обучения
    • Научные руководители: Миронов Андрей Михайлович, Георгиевский Дмитрий Владимирович
    • Автор: Парсаданян Георгий Генрикович (Специалист)
  • • 2019 Представление документа в виде распределения Дирихле
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Савушкин Алан Сергеевич (Магистр)
  • • 2019 Методы синтеза автоматов
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Фельдшеров Сергей Дмитриевич (Специалист)
  • • 2019 Доказательство конфиденциальности протокола забывчивой передачи
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Анисеня Иван Ильич (Специалист)
  • • 2019 Выявление и классификация оскорбительности комментария
    • Научные руководители: Миронов Андрей Михайлович, Георгиевский Дмитрий Владимирович
    • Автор: Чернышев Павел Дмитриевич (Специалист)
  • • 2019 Верификация протокола скользящего окна с выборочным повтором
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Корчагин Никита Павлович (Специалист)
  • • 2019 Верификация программы параллельной сортировки
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Акишин Кирилл Алексеевич (Специалист)
  • • 2019 Верификация некоторых функций библиотек ядра Linux
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Иванов Павел Александрович (Специалист)
  • • 2019 Алгоритм суммирования для сети с произвольной топологией
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Лутовинова Надежда Александровна (Специалист)
  • • 2019 Алгоритм отслеживания и подсчета объектов
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Фесенко Алексей Игоревич (Специалист)
  • • 2018 Технологии, используемые в различных реализациях Блокчейна. Внедрение смарт-контрактов
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Бесхмельный Валерий Олегович (Бакалавр)
  • • 2018 Построение и верификация распределенного алгоритма вычисления суммы чисел
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Акишин Кирилл Алексеевич (Бакалавр)
  • • 2018 Онлайн-верификация систем с контролируемыми состояниями
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Иванов Павел Александрович (Бакалавр)
  • • 2018 Исследование дуплексного протокола с чередующимися битами
    • Научный руководитель: Миронов Андрей Михайлович
    • Автор: Корчагин Никита Павлович (Бакалавр)

• Авторство учебных курсов

  • • 2023 Методы искусственного интеллекта в задачах анализа данных и верификации программ
    • Автор: Миронов Андрей Михайлович
  • • 2020 Математические вопросы технологии блокчейн
    • Автор: Миронов Андрей Михайлович
    • дистанционный курс
  • • 2019 Машинное обучение
    • Автор: Миронов Андрей Михайлович
  • • 2019 Машинное обучение
    • Автор: Миронов Андрей Михайлович
  • • 2019 Математические основы машинного обучения и прогнозирования
    • Автор: Миронов Андрей Михайлович
  • • 2019 Математические основы машинного обучения и прогнозирования
    • Автор: Миронов Андрей Михайлович
  • • 2018 Машинное обучение
    • Автор: Миронов Андрей Михайлович
  • • 2018 Машинное обучение
    • Автор: Миронов А.М.
  • • 2018 Криптографические протоколы
    • Автор: Миронов А.М.
    • курс на иностранном языке
  • • 2018 Большие данные и машинное обучение
    • Автор: Миронов А.М.
  • • 2017 Машинное Обучение
    • Автор: Миронов Андрей Михайлович
  • • 2017 Большие данные в современном мире
    • Авторы: Садовничий В.А., Петровский М.И., Бородкин Л.И., Петров И.Б., Макаров В.Л., Миронов А.М.
  • • 2016 Математические вопросы информатики
    • Автор: Миронов Андрей Михайлович
  • • 2015 Криптографические протоколы
    • Автор: Миронов А.М.
    • курс на иностранном языке
  • • 2014 Теоретическая информатика
    • Автор: Миронов Андрей Михайлович
  • • 2014 Верификация программ
    • Автор: Миронов А.М.
  • • 2011 Математическая теория программирования
    • Автор: Миронов А.М.
  • • 2008 Теория процессов
    • Автор: Миронов А.М.

• Преподавание учебных курсов

  • • 16 февраля 2023 - 18 мая 2023 Криптографические протоколы
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 16 февраля 2023 - 18 мая 2023 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, семинары, 32 часов
  • • 15 февраля 2023 - 17 мая 2023 Большие данные и машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, вариативной части, семинары, 32 часов
  • • 15 февраля 2023 - 17 мая 2023 Методы искусственного интеллекта в задачах анализа данных и верификации программ
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 32 часов
  • • 1 сентября 2020 - 20 декабря 2020 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 36 часов
  • • 1 сентября 2020 - 20 декабря 2020 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2020 - 20 декабря 2020 Математические вопросы технологии блокчейн
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 36 часов
  • • 20 сентября 2019 - 20 декабря 2019 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 20 сентября 2019 - 20 декабря 2019 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 32 часов
  • • 19 сентября 2019 - 20 декабря 2019 Машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 32 часов
  • • 16 сентября 2019 - 20 декабря 2019 Математические основы машинного обучения и прогнозирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 7 февраля 2019 - 20 мая 2019 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), семинары, 36 часов
  • • 7 февраля 2019 - 20 мая 2019 Машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 7 февраля 2019 - 20 мая 2019 Машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), семинары, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Большие данные и машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • в МГУ им. М.В. Ломоносова (государственная организация, университет, Россия)
    • обязательная, по выбору (межфакультетский курс), лекции, 32 часов
  • • 1 сентября 2018 - 20 декабря 2018 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов
  • • 1 сентября 2018 - 20 декабря 2018 Большие данные и машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 24 часов
  • • 1 сентября 2018 - 20 декабря 2018 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 30 часов
  • • 1 сентября 2018 - 20 декабря 2018 Машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 30 часов
  • • 1 сентября 2018 - 20 декабря 2018 Машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), семинары, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 1 сентября 2018 - 20 декабря 2018 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, по выбору (спецкурс), семинары, 36 часов
  • • 10 февраля 2018 - 30 июня 2018 Введение в дискретную математику
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 40 часов
  • • 10 февраля 2018 - 20 мая 2018 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 30 часов
  • • 10 февраля 2018 - 20 мая 2018 Верификация программ
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов
  • • 10 февраля 2018 - 20 мая 2018 Машинное обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 30 часов
  • • 8 февраля 2018 - 20 мая 2018 Криптографические протоколы
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, лекции, 30 часов
  • • 15 ноября 2017 - 30 декабря 2017 Большие данные в современном мире
    • МГУ имени М.В. Ломоносова, Аналитическая служба МГУ
    • обязательная, по выбору (межфакультетский курс), лекции, 20 часов
  • • 1 сентября 2017 - 30 декабря 2017 Машинное Обучение
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, вариативной части, семинары, 36 часов
  • • 1 сентября 2017 - 30 декабря 2017 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • обязательная, вариативной части, семинары, 36 часов
  • • 1 сентября 2017 - 30 декабря 2017 Верификация программ
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической теории интеллектуальных систем
    • факультативная, лекции, 36 часов
  • • 31 октября 2016 - 13 ноября 2016 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • в филиал МГУ в ташкенте (государственная организация, университет, Узбекистан)
    • обязательная, вариативной части, лекции, 72 часов
  • • 1 сентября 2016 - 18 декабря 2016 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов
  • • 1 сентября 2016 - 18 декабря 2016 Математические вопросы информатики
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 30 часов
  • • 2 февраля 2016 - 6 мая 2016 Криптографические протоколы
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов
  • • 7 сентября 2015 - 20 сентября 2015 Верификация программ
    • МГУ имени М.В. Ломоносова, Филиал МГУ в г. Ташкент
    • обязательная, вариативной части, лекции, 72 часов
  • • 1 сентября 2015 - 30 мая 2016 Теоретическая информатика
    • МГУ имени М.В. Ломоносова, Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
    • из Московский государственный университет имени М.В. Ломоносова (государственная организация, университет, Россия)
    • обязательная, по выбору (спецкурс), лекции, 72 часов
  • • 1 сентября 2015 - 30 декабря 2015 Верификация программ
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 6 февраля 2015 - 20 мая 2015 Верификация программ
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), семинары, 30 часов
  • • 1 сентября 2014 - 30 мая 2015 Теоретическая информатика
    • МГУ имени М.В. Ломоносова, Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
    • обязательная, по выбору (спецкурс), лекции, 72 часов
  • • 1 сентября 2014 - 20 декабря 2014 Теория процессов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов
  • • 1 сентября 2014 - 20 декабря 2014 Верификация программ
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов
  • • 1 сентября 2011 - 20 декабря 2011 Математическая теория программирования
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, по выбору (спецкурс), лекции, 30 часов