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

Место работы

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

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

доцент

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

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

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

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


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

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

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

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

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

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

Радиофизический факультет
Дискретная математика
Математическая логика и теория алгоритмов

Публикации

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.

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