Вы здесь

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

Версия для печатиSend by email

Доцент кафедры МК

Ученая степень: 
д-р физ.-мат. наук

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

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

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

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;

Предложения по содержанию и функционированию сайта направляйте по адресу cmcproject@cs.msu.ru.