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

Не указана.

Образование

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

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

Всего: 37 статей, 6 тезисов докладов, 1 диссертация, 9 НИР, 16 дипломных работ, 14 курсовых работ, 6 учебных курсов, 34 преподавания курса, 20 докладов на конференциях, 7 членств в программных комитетах, 3 награды.

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

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

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