Область научных интересов

Не указана.

Образование

  • 2015 к.ф.-м.н. Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикой

Результаты деятельности

Всего: 38 статей, 8 тезисов докладов, 1 диссертация, 10 НИР, 21 дипломная работа, 21 курсовая работа, 7 учебных курсов, 37 преподаваний курсов, 22 доклада на конференциях, 2 членства в редколлегиях сборников, 8 членств в программных комитетах, 3 награды, 1 мероприятие.

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

Просмотреть публикации »

Соавторы: Захаров В.А., Зорин Д.А., Волканов Д.Ю., Коннов И.В., Чемерицкий Е.В., Куцак Н.Ю., Глонина А.Б., Антоненко В.А., Пашков В.Н., Савенков К.О., Смелянский Р.Л., Попеско У.В., Вдовин П.М., Алтухов В.С., Герасёв А.В., Молчанов А.Э., Попков Г.А., Шагов В.С.