| Vladimir Anatolievich Zakharov | |
|---|---|
| Vladimir Zakharov (1995) | |
| Fødselsdato | 29. maj 1960 (62 år) |
| Fødselssted | Kharkiv |
| Land |
USSR , Rusland |
| Videnskabelig sfære | matematik |
| Arbejdsplads | Moskva statsuniversitet |
| Alma Mater | Moscow State University (1982) |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber (2012) |
| Akademisk titel | Professor |
| videnskabelig rådgiver | S. V. Yablonsky |
Vladimir Anatolyevich Zakharov (født 1960) er en matematiker , doktor i fysiske og matematiske videnskaber, professor ved afdelingen for matematisk kybernetik ved fakultetet ved CMC ved Moskva State University .
Uddannet fra gymnasiet nr. 6 i Shchelkovo (1977), fakultetet for beregningsmatematik og kybernetik ved Moskva State University (1982). Han studerede på postgraduate-kurset ved fakultetet for Military Medical Commission (1982-1985) [1] .
Han forsvarede sin afhandling "Om funktionel ækvivalens og ækvivalente transformationer af Turing-maskiner" (vejleder S. V. Yablonsky ) for graden af kandidat for fysiske og matematiske videnskaber (1987).
Han forsvarede sin afhandling "The problem of program equivalence: models, algorithms, complexity" for doktorgraden i fysiske og matematiske videnskaber (2012).
Han har arbejdet på Moskva Universitet siden 1986: ingeniør, senioringeniør, juniorforsker, forsker, seniorforsker ved Institut for Matematisk Kybernetik (1986–1998), lektor (1998–2014). Professor ved Institut for Matematisk Kybernetik (siden 2014). Leder af laboratoriet for matematiske problemer i computersikkerhed (siden 2002).
Forskningsinteresser: matematisk logik, beregningsmæssig kompleksitetsteori, distribuerede computermodeller, formelle sprog, matematiske grundlag for kryptografi [1] .
Zakharov udviklede generelle metoder til at konstruere effektive (polynomium i kompleksitet) algoritmer til genkendelse af programmers ækvivalens, teorien om tilnærmelse af ækvivalensrelationen for programmodeller, metoder til at verificere modeller af distribuerede programmer og formler for tidslogik, metoder til maskering (tilsløring) ) programmer [2] .
Forfatter til 2 bøger og mere end 70 videnskabelige artikler [3] [4] . Forberedte 9 videnskabskandidater [2] .