Вы здесь

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

Доцент кафедры МК, зав. лабораторией МПКБ

Ученая степень:

канд. физ.-мат. наук

Родился 29.05.1960, г. Харьков.

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

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

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

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

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

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

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

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

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

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;
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 possibility of provably secure obfuscating programs // Lecture Notes in Computer Science, Springer-Verlag, 2003, v. 2890, pp. 91–102;
On the concept of software obfuscation in computer security // Lecture Notes in Computer Science, Springer-Verlag, 2007, v. 4779, pp. 281–298;
An invariantbased approach to the verification of asynchronous parameterized networks // Journal of Symbolic Computations, 2009.