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

Не указана.

Образование

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

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

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