Захаров Владимир Анатольевич | ВМК МГУ (original) (raw)

Окончил среднюю школу № 6 г. Щелково Московской обл. (1977), факультет вычислительной математики и кибернетики МГУ им. М.В. Ломоносова (1982). Обучался в аспирантуре факультета ВМК (1982–1985).

Кандидат физико-математических наук (1987), тема диссертации: «Автоматные модели машин Тьюринга» (научный руководитель С.В. Яблонский).

Работает в МГУ с 1986 г.: инженер, старший инженер, младший научный сотрудник, научный сотрудник, старший научный сотрудник кафедры математической кибернетики (1986–1998); с 1998 г. преподаёт в должности доцента, а затем - профессора. С 2002 по 2014 гг. возглавлял лабораторию математических проблем компьютерной безопасности.

C 2002 г. по совместительству работает в Институте системного программирования РАН в должности старшего научного сотрудника.

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

В.А. Захаровым разработаны общие методы построения эффективных (полиномиальных по сложности) алгоритмов распознавания эквивалентности программ, теория аппроксимации отношения эквивалентности для моделей программ, методы верификации моделей распределённых программ и формул темпоральных логик, методы маскировки (обфускации) программ.

Читает лекции и ведёт семинарские занятия по курсам: «Математическая логика и логическое программирование», «Математическая логика и теория алгоритмов», «Распределённые алгоритмы».

Подготовил 9 кандидатов наук.

Автор 200 научных работ, в том числе:

• An invariantbased approach to the verification of asynchronous parameterized networks // Journal of Symbolic Computations, 2009.
• On the concept of software obfuscation in computer security // Lecture Notes in Computer Science, Springer-Verlag, 2007, v. 4779, pp. 281–298;
• On the possibility of provably secure obfuscating programs // Lecture Notes in Computer Science, Springer-Verlag, 2003, v. 2890, pp. 91–102;
• An efficient and unified approach to the decidability of equivalence of propositional program schemes // Lecture Notes in Computer Science, Springer-Verlag, 1998, v. 1443, pp. 247–259;
• On the verification of PLTL formulae by means of monotone disjunctive normal forms // Lecture Notes in Computer Science, Springer-Verlag, 1997, v. 1234, pp. 419–429;