Макаров Евгений Маратович

Место работы

Институт информационных технологий, математики и механики

Кафедра алгебры, геометрии и дискретной математики

доцент

Ученая степень
нет
Ученое звание
нет
Общий стаж работы 18 лет, 1 мес.

Общие сведения

Преподавание

Научная Работа


Образование, учёные степени и учёные звания

Высшее образование
Специальность: математика, прикладная математика. Квалификация: математик.

Профессиональная переподготовка

16.09.2019 - 06.12.2019
Переподготовка: Актуальные проблемы исследования и современные технологии преподавания математики, механики и информатики, ННГУ, 250 час., документ № 522409110706, рег номер 33-1041 от 06.12.2019

Дополнительное образование, повышение квалификации, стажировки

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, приказ)

Список преподаваемых дисциплин

Институт информационных технологий, математики и механики
Алгебра и геометрия
Анализ и разработка алгоритмов
Индивидуальные консультации обучающихся
Компьютерная геометрия и геометрическое моделирование
Контроль самостоятельной работы учащихся (проверка контрольных работ)
Математическая логика и теория алгоритмов
Математический анализ
Основы компьютерных наук
Современные проблемы дискретной математики
Современные проблемы искусственного интеллекта
Современные проблемы компьютерных наук
Теория вычислений
Функциональное программирование

Публикации

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.

©  Нижегородский государственный университет им. Н.И. Лобачевского