Захаров, Владимир Анатольевич
Владимир Анатольевич Захаров | |
---|---|
![]() Владимир Захаров (1995) | |
Дата рождения | 29 мая 1960 (64 года) |
Место рождения | Харьков |
Страна |
![]() ![]() |
Род деятельности | специалист в области информатики, математик, преподаватель университета |
Научная сфера | математика |
Место работы |
МГУ |
Альма-матер | МГУ (1982) |
Учёная степень |
доктор физико-математических наук (2012) |
Учёное звание | профессор |
Научный руководитель | С. В. Яблонский |
Влади́мир Анато́льевич Заха́ров (род. 1960) —
Биография
Окончил среднюю школу № 6 в Щёлково (1977), факультет вычислительной математики и кибернетики МГУ (1982). Обучался в аспирантуре факультета ВМК (1982—1985)[1].
Защитил диссертацию «О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга» (научный руководитель С. В. Яблонский) на степень кандидата физико-математических наук (1987).
Защитил диссертацию «Проблема эквивалентности программ: модели, алгоритмы, сложность» на степень доктора физико-математических наук (2012).
В
Область научных интересов: математическая логика, теория сложности вычислений, модели распределенных вычислений, формальные языки, математические основы криптографии[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 года
- Учёные по алфавиту
- Математики по алфавиту
- Математики России