Zacharov, Vladimir Anatolievič

Vladimír Anatoljevič Zacharov

Vladimir Zacharov (1995)
Datum narození 29. května 1960 (ve věku 62 let)( 1960-05-29 )
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 .

Životopis

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] .

Poznámky

  1. 1 2 Fakulta výpočetní matematiky a kybernetiky, 2010 , str. 382.
  2. 1 2 VMK MSU .
  3. SKUTEČNÁ MSU .
  4. Math-net.ru .

Literatura

Odkazy