Захаров Владимир Анатольевич

(род. 29.05.1960, г. Харьков). Окончил факультет вычислительной математики и кибернетики МГУ (1982).

Кандидат физико-математических наук (1986). Доктор физико-математических наук (2012).

Профессор кафедры математической кибернетики (2014–н.вр.), заведующий лабораторией математических проблем компьютерной безопасности (2002–н.вр.) факультета вычислительной математики и кибернетики. Работает в МГУ с 1986 г.

Область научных интересов: математическая логика, теория сложности вычислений, модели распределенных вычислений, формальные языки, математические основы криптографии.

Тема кандидатской диссертации «О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга». Тема докторской диссертации «Проблема эквивалентности программ: модели, алгоритмы, сложность».

Читает курсы «Распределённые системы и алгоритмы», «Математические модели последовательных вычислений», «Математические методы верификации схем и программ», «Языки описания схем. Проблемы верификации», «Математическая логика и теория алгоритмов», «Математическая логика и логическое программирование».

Основные труды: «Проблема эквивалентности программ: модели, алгоритмы, сложность» (2016).