| Vladimir Anatolievici Zaharov | |
|---|---|
| Vladimir Zaharov (1995) | |
| Data nașterii | 29 mai 1960 (62 de ani) |
| Locul nașterii | Harkov |
| Țară |
URSS , Rusia |
| Sfera științifică | matematica |
| Loc de munca | Universitatea de Stat din Moscova |
| Alma Mater | Universitatea de Stat din Moscova (1982) |
| Grad academic | Doctor în științe fizice și matematice (2012) |
| Titlu academic | Profesor |
| consilier științific | S. V. Yablonsky |
Vladimir Anatolyevich Zakharov (născut în 1960) este un matematician , doctor în științe fizice și matematice, profesor al Departamentului de Cibernetică Matematică a Facultății CMC a Universității de Stat din Moscova .
A absolvit școala secundară nr. 6 din Shchelkovo (1977), Facultatea de Matematică Computațională și Cibernetică a Universității de Stat din Moscova (1982). A studiat la cursul postuniversitar al facultății Comisiei Medicale Militare (1982-1985) [1] .
Și-a susținut teza „Despre echivalența funcțională și transformările echivalente ale mașinilor Turing” (supervizor S. V. Yablonsky ) pentru gradul de candidat în științe fizice și matematice (1987).
Și-a susținut teza „Problema echivalenței programelor: modele, algoritmi, complexitate” pentru gradul de Doctor în Științe Fizice și Matematice (2012).
Lucrează la Universitatea din Moscova din 1986: inginer, inginer senior, cercetător junior, cercetător, cercetător senior la Departamentul de Cibernetică Matematică (1986–1998), profesor asociat (1998–2014). Profesor al Departamentului de Cibernetică Matematică (din 2014). Şef al Laboratorului de Probleme Matematice ale Securităţii Calculatoarelor (din 2002).
Interese de cercetare: logica matematică, teoria complexității computaționale, modele de calcul distribuit, limbaje formale, fundamente matematice ale criptografiei [1] .
Zaharov a dezvoltat metode generale de construire a algoritmilor eficienți (polinom în complexitate) pentru recunoașterea echivalenței programelor, teoria aproximării relației de echivalență pentru modele de programe, metode de verificare a modelelor de programe distribuite și formule ale logicii temporale, metode de mascare (ofuscare). ) programe [2] .
Autor a 2 cărți și a peste 70 de articole științifice [3] [4] . Pregătiți 9 candidați la științe [2] .