Макаров Евгений Маратович
Институт информационных технологий, математики и механики
Кафедра алгебры, геометрии и дискретной математики
доцент
Общие сведения
Преподавание
Научная Работа
Образование, учёные степени и учёные звания
Высшее образование
Специальность: математика, прикладная математика. Квалификация: математик.
Профессиональная переподготовка
16.09.2019 - 06.12.2019
Переподготовка: Актуальные проблемы исследования и современные технологии преподавания математики, механики и информатики, ННГУ, 250 час., документ № 522409110706, рег номер 33-1041 от 06.12.2019
Дополнительное образование, повышение квалификации, стажировки
26.02.2024 - 02.04.2024
Повышение квалификации: Высокопроизводительные вычисления и искусственный интеллект, ФГАОУ ВО "Национальный исследовательский Нижегородский государственный университет им. Н.И. Лобачевского", 72 час., документ № 520324021326 от 09.04.2024
21.03.2023 - 25.03.2023
Повышение квалификации: Оказание первой помощи (базовый курс), ННГУ им. Н.И. Лобачевского, 16 час., документ № 520324011508 рег.№ 33-1211 от 27.03.2023
17.11.2022 - 23.11.2022
Повышение квалификации: Применение платформы Webinar для онлайн-мероприятий и обучения, ФГАОУ ВО "Национальный исследовательский Нижегородский государственный университет им. Н.И.Лобачевского", 16 час., документ № 520324004842 33-4700 от 25.11.2022
17.09.2021 - 19.11.2021
Повышение квалификации: Электронная информационно-образовательная среда вуза, ННГУ, 72 час., документ № 522413306190, рег. № 33-2329 от 24.11.2021
16.01.2018 - 16.01.2018
Повышение квалификации: Оказание первой помощи, ННГУ, 8 час., документ № рег.№ 609 от 16.01.2018
06.02.2017 - 10.04.2017
Повышение квалификации: Электронная информационно-образовательная среда вуза, ННГУ, 72 час., документ № 522404111068 рег номер 33-310 от 10.04.2017
23.09.2015 - 18.11.2015
Повышение квалификации: Школа молодого преподвавтеля, ННГУ, 72 час., документ № 522402179293 рег номер 1103 от 18.11.2015
13.10.2014 - 14.10.2014
Повышение квалификации: Вопросы и перспективы интернационализации высшего образования (международный семинар), ННГУ, документ № 1114 от 14.10.2014
Награды
Благодарственное письмо ректора Нижегородского государственного университета им. Н.И. Лобачевского (приказ № 05.30-05-02987/23 от 26.05.2023, приказ)
Благодарственное письмо ректора Нижегородского государственного университета им. Н.И. Лобачевского (приказ № 05.30-05-02773/24 от 16.04.2024, приказ)
Список преподаваемых дисциплин
Институт информационных технологий, математики и механики
Алгебра и геометрия
Анализ и разработка алгоритмов
Компьютерная геометрия и геометрическое моделирование
Основы компьютерных наук
Современны проблемы искусственного интеллекта
Современные проблемы дискретной математики
Современные проблемы искусственного интеллекта
Современные проблемы компьютерных наук
Теория вычислений
Теория информации
Функциональное программирование
Функциональное программирование (на английском)
Публикации
2026
Публикации в научных журналахМакаров Е.М. Почему центральная проекция задаётся матрицей? // Математика в высшем образовании. № 24. 2026. [принято к печати]
Макаров Е.М. Кривые Безье и полярные формы // Математика в высшем образовании. № 24. 2026. [принято к печати]
2025
Публикации в научных журналахMakarov E.M. Introduction to Formal Methods Using Interactive Proof Assistant Rocq // International Journal of Open Information Technologies. № 9. V. 13. 2025. P. 116-122.
2021
Труды (тезисы) конференцииМакаров Е.М. Работа с действительными числами в библиотеке C-CoRN // Труды XXI международной конференции "Математическое моделирование и суперкомпьютерные технологии". Нижний Новгород: ННГУ. 423 с. 2021. С. 217-222.
2020
Публикации в научных журналахМакаров Е.М. Динамическая логика разделений и ее использование в образовании // Современные информационные технологии и ИТ-образование. № 3. Т. 16. 2020. С. 543-550.
2019
Публикации в научных журналахМакаров Е.М. Использование домашних заданий по программированию для развития практических компетенций курса «Геометрическое моделирование» // Образовательные технологии и общество. № 1. Т. 22. 2019. С. 164-174.
2018
Публикации в научных журналахМакаров Е.М. Использования Java для проверки компетенций по геометрическому моделированию // Образовательные технологии и общество. № 1. Т. 21. 2018. С. 494-505.
Макаров Е.М. Общие системы координат в курсе компьютерной геометрии // Современные информационные технологии и ИТ-образование. № 4. Т. 14. 2018. С. 833-841.
2015
Труды (тезисы) конференцииМакаров Е.М., Скалка К. Формализованное доказательство корректности теории типов Хоара // Тезисы докладов международной конференции "Мальцевские чтения", посвященной 75-летию Ю.Л. Ершова. Новосибирский государственный университет. 2015. С. 45.
2013
Труды (тезисы) конференцииEvgeny Makarov, Bas Spitters. The Picard Algorithm for Ordinary Differential Equations in Coq // 4th Conference on Interactive Theorem Proving (ITP 2013). Volume 7998 of Lecture Notes in Computer Science. 2013. P. 463-468.
2012
Труды (тезисы) конференцииEvgeny Makarov. Provably Total Functions of Arithmetic with Basic Terms // Second Workshop on Developments in Implicit Computational Complexity (DICE 2011). Volume 75 of Electronic Proceedings in Theoretical Computer Science. 2012. P. 28-32.
