Захаров, Владимир Анатольевич
Владимир Анатольевич Захаров | |
---|---|
![]() Владимир Захаров (1995) | |
Дата рождения | 29 мая 1960 (64 года) |
Место рождения | Харьков |
Страна |
![]() ![]() |
Род деятельности | специалист в области информатики, математик, преподаватель университета |
Научная сфера | математика |
Место работы | МГУ |
Альма-матер | МГУ (1982) |
Учёная степень | доктор физико-математических наук (2012) |
Учёное звание | профессор |
Научный руководитель | С. В. Яблонский |
Влади́мир Анато́льевич Заха́ров (род. 1960) — математик, доктор физико-математических наук, профессор кафедры математической кибернетики факультета ВМК МГУ.
Биография
[править | править код]Окончил среднюю школу № 6 в Щёлково (1977), факультет вычислительной математики и кибернетики МГУ (1982). Обучался в аспирантуре факультета ВМК (1982—1985)[1].
Защитил диссертацию «О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга» (научный руководитель С. В. Яблонский) на степень кандидата физико-математических наук (1987).
Защитил диссертацию «Проблема эквивалентности программ: модели, алгоритмы, сложность» на степень доктора физико-математических наук (2012).
В Московском университете работает с 1986 года: инженер, старший инженер, младший научный сотрудник, научный сотрудник, старший научный сотрудник кафедры математической кибернетики (1986–1998), доцент (1998—2014). Профессор кафедры математической кибернетики (с 2014). Возглавляет лабораторию математических проблем компьютерной безопасности (с 2002).
Область научных интересов: математическая логика, теория сложности вычислений, модели распределенных вычислений, формальные языки, математические основы криптографии[1].
Захаровым разработаны общие методы построения эффективных (полиномиальных по сложности) алгоритмов распознавания эквивалентности программ, теория аппроксимации отношения эквивалентности для моделей программ, методы верификации моделей распределённых программ и формул темпоральных логик, методы маскировки (обфускации) программ[2].
Автор 2-х книг и более 70 научных статей[3][4]. Подготовил 9 кандидатов наук[2].
Примечания
[править | править код]- ↑ 1 2 Факультет Вычислительной математики и кибернетики, 2010, с. 382.
- ↑ 1 2 ВМК МГУ.
- ↑ ИСТИНА МГУ.
- ↑ Math-net.ru.
Литература
[править | править код]- Факультет Вычислительной математики и кибернетики: История и современность: Биографический справочник / Автор-составитель Е. А. Григорьев. — М.: Издательство Московского университета, 2010. — С. 382—383. — 616 с. — 1500 экз. — ISBN 978-5-211-05838-5.
Ссылки
[править | править код]- Захаров Владимир Анатольевич . Летопись Московского университета. Дата обращения: 20 мая 2018.
- Захаров Владимир Анатольевич . ВМК МГУ. Дата обращения: 20 мая 2018.
- Научные работы В. А. Захарова . ИСТИНА МГУ. Дата обращения: 20 мая 2018.
- Захаров Владимир Анатольевич . Math-net.ru. Дата обращения: 20 мая 2018.
- Родившиеся 29 мая
- Родившиеся в 1960 году
- Персоналии по алфавиту
- Родившиеся в Харькове
- Профессора МГУ
- Преподаватели факультета вычислительной математики и кибернетики МГУ
- Выпускники факультета вычислительной математики и кибернетики МГУ
- Доктора физико-математических наук
- Профессора по званию после 1934 года
- Учёные по алфавиту
- Математики по алфавиту
- Математики России