Захаров, Владимир Анатольевич — различия между версиями
(→Примечания) |
(→Ссылки) |
||
| (не показаны 4 промежуточные версии этого же участника) | |||
| Строка 3: | Строка 3: | ||
== Биография == | == Биография == | ||
| − | Окончил среднюю школу № 6 в [ | + | Окончил среднюю школу № 6 в [https://ru.wikipedia.org/wiki/Щёлково Щёлково] (1977), факультет вычислительной математики и кибернетики МГУ (1982). Обучался в аспирантуре факультета ВМК (1982—1985). |
| − | Защитил диссертацию «О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга» (научный руководитель [[Яблонский, Сергей Всеволодович|С. В. Яблонский]]) на степень кандидата физико-математических наук (1987). | + | Защитил диссертацию ''«О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга»'' (научный руководитель [[Яблонский, Сергей Всеволодович|С. В. Яблонский]]) на степень кандидата физико-математических наук (1987). |
| − | Защитил диссертацию «Проблема эквивалентности программ: модели, алгоритмы, сложность» на степень доктора физико-математических наук (2012). | + | Защитил диссертацию ''«Проблема эквивалентности программ: модели, алгоритмы, сложность»'' на степень доктора физико-математических наук (2012). |
В [[МГУ|Московском университете]] работает с 1986 года: инженер, старший инженер, младший научный сотрудник, научный сотрудник, старший научный сотрудник кафедры математической кибернетики (1986–1998), доцент (1998—2014). Профессор кафедры математической кибернетики (с 2014). Возглавляет лабораторию математических проблем компьютерной безопасности (с 2002). | В [[МГУ|Московском университете]] работает с 1986 года: инженер, старший инженер, младший научный сотрудник, научный сотрудник, старший научный сотрудник кафедры математической кибернетики (1986–1998), доцент (1998—2014). Профессор кафедры математической кибернетики (с 2014). Возглавляет лабораторию математических проблем компьютерной безопасности (с 2002). | ||
| Строка 21: | Строка 21: | ||
== Ссылки == | == Ссылки == | ||
| − | * | + | * [http://letopis.msu.ru/peoples/3939 Захаров Владимир Анатольевич ([[Летопись Московского университета]])] |
| − | + | * [http://cs.msu.ru/persons/zakharov-v-a Захаров Владимир Анатольевич (ВМК МГУ)] | |
| − | + | * [https://istina.msu.ru/profile/Vladimir_Zakharov/ Научные работы В. А. Захарова ([[ИСТИНА МГУ]])] | |
| − | + | * [http://www.mathnet.ru/rus/person28065 Захаров Владимир Анатольевич (Math-net.ru)] | |
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | [[Категория:Выпускники | + | [[Категория:Выпускники факультета вычислительной математики и кибернетики]] |
| + | [[Категория:Преподаватели факультета вычислительной математики и кибернетики]] | ||
| + | [[Категория:Доктора наук]] | ||
Текущая версия на 21:40, 21 марта 2020
Влади́мир Анато́льевич Заха́ров (род. 1960) — математик, доктор физико-математических наук, профессор кафедры математической кибернетики факультета ВМК МГУ.
Биография
Окончил среднюю школу № 6 в Щёлково (1977), факультет вычислительной математики и кибернетики МГУ (1982). Обучался в аспирантуре факультета ВМК (1982—1985).
Защитил диссертацию «О функциональной эквивалентности и эквивалентных преобразованиях машин Тьюринга» (научный руководитель С. В. Яблонский) на степень кандидата физико-математических наук (1987).
Защитил диссертацию «Проблема эквивалентности программ: модели, алгоритмы, сложность» на степень доктора физико-математических наук (2012).
В Московском университете работает с 1986 года: инженер, старший инженер, младший научный сотрудник, научный сотрудник, старший научный сотрудник кафедры математической кибернетики (1986–1998), доцент (1998—2014). Профессор кафедры математической кибернетики (с 2014). Возглавляет лабораторию математических проблем компьютерной безопасности (с 2002).
Область научных интересов: математическая логика, теория сложности вычислений, модели распределенных вычислений, формальные языки, математические основы криптографии.
Захаровым разработаны общие методы построения эффективных (полиномиальных по сложности) алгоритмов распознавания эквивалентности программ, теория аппроксимации отношения эквивалентности для моделей программ, методы верификации моделей распределённых программ и формул темпоральных логик, методы маскировки (обфускации) программ.
Автор 2-х книг и более 70 научных статей. Подготовил 9 кандидатов наук.
Литература
- Факультет Вычислительной математики и кибернетики: История и современность: Биографический справочник / Автор-составитель Е. А. Григорьев. — М.: Издательство Московского университета, 2010. — С. 382—383. — 616 с. — 1 500 экз. — ISBN 978-5-211-05838-5.
