| Vladimir Anatolievich Zakharov | |
|---|---|
| Vladimir Zakharov (1995) | |
| Födelsedatum | 29 maj 1960 (62 år) |
| Födelseort | Charkiv |
| Land |
Sovjetunionen , Ryssland |
| Vetenskaplig sfär | matte |
| Arbetsplats | Moscow State University |
| Alma mater | Moscow State University (1982) |
| Akademisk examen | Doktor i fysikaliska och matematiska vetenskaper (2012) |
| Akademisk titel | Professor |
| vetenskaplig rådgivare | S. V. Yablonsky |
Vladimir Anatolyevich Zakharov (född 1960) är en matematiker , doktor i fysikaliska och matematiska vetenskaper, professor vid institutionen för matematisk kybernetik vid fakulteten vid CMC vid Moscow State University .
Utexaminerad från gymnasieskolan nr 6 i Shchelkovo (1977), fakulteten för beräkningsmatematik och cybernetik vid Moscow State University (1982). Han studerade vid forskarutbildningen vid fakulteten vid Military Medical Commission (1982-1985) [1] .
Han försvarade sin avhandling "On functional equivalence and equivalent transformations of Turing machines" (handledare S. V. Yablonsky ) för graden av kandidat för fysikaliska och matematiska vetenskaper (1987).
Han disputerade på sin avhandling "The problem of program equivalence: models, algorithms, complexity" för doktorsexamen i fysikaliska och matematiska vetenskaper (2012).
Han har arbetat vid Moskvas universitet sedan 1986: ingenjör, senior ingenjör, juniorforskare, forskare, seniorforskare vid Institutionen för matematisk kybernetik (1986–1998), docent (1998–2014). Professor vid institutionen för matematisk kybernetik (sedan 2014). Chef för Laboratory of Mathematical Problems of Computer Security (sedan 2002).
Forskningsintressen: matematisk logik, beräkningskomplexitetsteori, distribuerade beräkningsmodeller, formella språk, matematiska grunder för kryptografi [1] .
Zakharov utvecklade generella metoder för att konstruera effektiva (polynom i komplexitet) algoritmer för att känna igen programs ekvivalens, teorin om approximation av ekvivalensrelationen för programmodeller, metoder för att verifiera modeller av distribuerade program och formler för tidslogik, metoder för maskering (obfuskation) ) program [2] .
Författare till 2 böcker och mer än 70 vetenskapliga artiklar [3] [4] . Förberedde 9 vetenskapskandidater [2] .