| Vladimír Anatoljevič Zacharov | |
|---|---|
| Vladimir Zacharov (1995) | |
| Datum narození | 29. května 1960 (ve věku 62 let) |
| Místo narození | Charkov |
| Země |
SSSR , Rusko |
| Vědecká sféra | matematika |
| Místo výkonu práce | Moskevská státní univerzita |
| Alma mater | Moskevská státní univerzita (1982) |
| Akademický titul | doktor fyzikálních a matematických věd (2012) |
| Akademický titul | Profesor |
| vědecký poradce | S. V. Yablonsky |
Vladimir Anatolyevich Zakharov (narozen 1960) je matematik , doktor fyzikálních a matematických věd, profesor katedry matematické kybernetiky Fakulty CMC Moskevské státní univerzity .
Absolvoval střední školu č. 6 ve Ščelkově (1977), Fakultu výpočetní matematiky a kybernetiky Moskevské státní univerzity (1982). Studoval na postgraduálním kurzu fakulty Vojenské lékařské komise (1982-1985) [1] .
Diplomovou práci „O funkční ekvivalenci a ekvivalentních transformacích Turingových strojů“ (školitel S. V. Yablonsky ) obhájil pro titul kandidáta fyzikálních a matematických věd (1987).
Dizertační práci „Problém ekvivalence programů: modely, algoritmy, složitost“ obhájil pro titul doktora fyzikálních a matematických věd (2012).
Na Moskevské univerzitě působí od roku 1986: inženýr, vedoucí inženýr, mladší vědecký pracovník, výzkumný pracovník, vedoucí výzkumný pracovník na katedře matematické kybernetiky (1986–1998), docent (1998–2014). Profesor katedry matematické kybernetiky (od roku 2014). Vedoucí Laboratoře matematických problémů počítačové bezpečnosti (od roku 2002).
Zájmy výzkumu: matematická logika, teorie výpočetní složitosti, distribuované výpočetní modely, formální jazyky, matematické základy kryptografie [1] .
Zacharov vyvinul obecné metody pro konstrukci efektivních (polynomiálních ve složitosti) algoritmů pro rozpoznávání ekvivalence programů, teorii aproximace vztahu ekvivalence pro programové modely, metody pro ověřování modelů distribuovaných programů a vzorců temporální logiky, metody pro maskování (obfuskaci ) programy [2] .
Autor 2 knih a více než 70 vědeckých článků [3] [4] . Připraveno 9 kandidátů věd [2] .