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

Место работы

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

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

доцент

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

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

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

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


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

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

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

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

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

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

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

Публикации

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.

Контакты

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