АссистентНовый вопросИсторияОбласти знаний
Партнёрские проектыСпецпроектыСтать автором
Сменить язык
О РУВИКИ

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

Влади́мир Анато́льевич Заха́ров (род. 1960) — математик, доктор физико-математических наук, профессор кафедры математической кибернетики факультета ВМК МГУ.

Что важно знать
Владимир Анатольевич Захаров
Дата рождения 29 мая 1960(1960-05-29) (65 лет)
Место рождения Харьков
Страна  СССР,
 Россия
Научная сфера математика
Место работы МГУ
Образование
Учёная степень доктор физико-математических наук (2012)
Учёное звание профессор
Научный руководитель С. В. Яблонский

Биография

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

Защитил диссертацию «О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга» (научный руководитель С. В. Яблонский) на степень кандидата физико-математических наук (1987).

Защитил диссертацию «Проблема эквивалентности программ: модели, алгоритмы, сложность» на степень доктора физико-математических наук (2012).

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

Научная и преподавательская деятельность

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

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

Автор 2-х книг и более 70 научных статей[4][5]. Подготовил 9 кандидатов наук[3].

В. А. Захаров читает и читал следующие учебные курсы:

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

Избранные труды

  • Тяньсян Тан, Захаров В. А. Задача унификации для конечных параметризованных автоматов-преобразователей // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. — 2025. — № 3. — С. 74—84[7].
  • Захаров В. А., Чжибо Дэн. О проблеме эквивалентности для нисходящих детерминированных древесных автоматов // Вестник Московского университета. Серия 15. Вычислительная математика и кибернетика. — 2025. — № 4. — С. 38—45[8].

Примечания

Литература

  • Факультет Вычислительной математики и кибернетики: История и современность: Биографический справочник / Автор-составитель Е. А. Григорьев. — М.: Издательство Московского университета, 2010. — С. 382—383. — 616 с. — 1500 экз. — ISBN 978-5-211-05838-5.

Ссылки