| Vladímir Anatolievich Zajarov | |
|---|---|
| Vladimir Zajarov (1995) | |
| Fecha de nacimiento | 29 de mayo de 1960 (62 años) |
| Lugar de nacimiento | Járkov |
| País |
URSS , Rusia |
| Esfera científica | matemáticas |
| Lugar de trabajo | Universidad estatal de Moscú |
| alma mater | Universidad Estatal de Moscú (1982) |
| Titulo academico | Doctor en Ciencias Físicas y Matemáticas (2012) |
| Título académico | Profesor |
| consejero científico | S. V. Yablonsky |
Vladimir Anatolyevich Zakharov (nacido en 1960) es matemático , Doctor en Ciencias Físicas y Matemáticas, Profesor del Departamento de Cibernética Matemática de la Facultad de CMC de la Universidad Estatal de Moscú .
Graduado de la escuela secundaria No. 6 en Shchelkovo (1977), Facultad de Matemática Computacional y Cibernética de la Universidad Estatal de Moscú (1982). Estudió en el curso de posgrado de la facultad de la Comisión Médica Militar (1982-1985) [1] .
Defendió su tesis "Sobre la equivalencia funcional y las transformaciones equivalentes de las máquinas de Turing" (director S. V. Yablonsky ) para el grado de candidato de ciencias físicas y matemáticas (1987).
Defendió su tesis "El problema de la equivalencia de programas: modelos, algoritmos, complejidad" para el grado de Doctor en Ciencias Físicas y Matemáticas (2012).
Trabaja en la Universidad de Moscú desde 1986: ingeniero, ingeniero senior, investigador junior, investigador, investigador senior en el Departamento de Cibernética Matemática (1986–1998), profesor asociado (1998–2014). Profesor del Departamento de Cibernética Matemática (desde 2014). Jefe del Laboratorio de Problemas Matemáticos de Seguridad Informática (desde 2002).
Intereses de investigación: lógica matemática, teoría de la complejidad computacional, modelos de computación distribuida, lenguajes formales, fundamentos matemáticos de la criptografía [1] .
Zakharov desarrolló métodos generales para construir algoritmos efectivos (polinómicos en complejidad) para reconocer la equivalencia de programas, la teoría de aproximación de la relación de equivalencia para modelos de programas, métodos para verificar modelos de programas distribuidos y fórmulas de lógica temporal, métodos para enmascarar (ofuscación ) programas [2] .
Autor de 2 libros y más de 70 artículos científicos [3] [4] . Preparó 9 candidatos de ciencias [2] .