| Vladimir Anatolievitš Zakharov | |
|---|---|
| Vladimir Zakharov (1995) | |
| Syntymäaika | 29. toukokuuta 1960 (62-vuotiaana) |
| Syntymäpaikka | Kharkova |
| Maa |
Neuvostoliitto , Venäjä |
| Tieteellinen ala | matematiikka |
| Työpaikka | Moskovan valtionyliopisto |
| Alma mater | Moskovan valtionyliopisto (1982) |
| Akateeminen tutkinto | Fysikaalisten ja matemaattisten tieteiden tohtori (2012) |
| Akateeminen titteli | Professori |
| tieteellinen neuvonantaja | S. V. Yablonsky |
Vladimir Anatoljevitš Zakharov (s. 1960) on matemaatikko , fysiikan ja matemaattisten tieteiden tohtori, Moskovan valtionyliopiston CMC:n tiedekunnan matemaattisen kybernetiikan osaston professori .
Valmistunut lukiosta nro 6 Shchelkovosta (1977), Moskovan valtionyliopiston laskennallisen matematiikan ja kybernetiikan tiedekunnasta (1982). Hän opiskeli sotilaslääketieteellisen toimikunnan tiedekunnan jatko-opintoja (1982-1985) [1] .
Hän puolusti väitöskirjaansa "Turingin koneiden toiminnallisesta ekvivalenssista ja ekvivalenteista muunnuksista" (ohjaaja S. V. Yablonsky ) fysiikan ja matemaattisten tieteiden kandidaatin tutkintoa varten (1987).
Hän puolusti väitöskirjaansa "Ohjelmien vastaavuuden ongelma: mallit, algoritmit, monimutkaisuus" fysiikan ja matemaattisten tieteiden tohtoriksi (2012).
Hän on työskennellyt Moskovan yliopistossa vuodesta 1986: insinööri, vanhempi insinööri, nuorempi tutkija, tutkija, vanhempi tutkija matemaattisen kybernetiikan laitoksella (1986–1998), apulaisprofessori (1998–2014). Matemaattisen kybernetiikan laitoksen professori (vuodesta 2014). Tietoturvan matemaattisten ongelmien laboratorion johtaja (vuodesta 2002).
Tutkimusintressit: matemaattinen logiikka, laskennallisen monimutkaisuuden teoria, hajautetut laskentamallit, muodolliset kielet, kryptografian matemaattiset perusteet [1] .
Zakharov kehitti yleisiä menetelmiä tehokkaiden (monimutkaisten) algoritmien rakentamiseen ohjelmien ekvivalenssin tunnistamiseen, ohjelmamallien ekvivalenssirelaation approksimaatioteoriaa, menetelmiä hajautettujen ohjelmien mallien ja ajallisen logiikan kaavojen varmentamiseen, maskausmenetelmiä (obfuskaatio). ) ohjelmat [2] .
2 kirjan ja yli 70 tieteellisen artikkelin kirjoittaja [3] [4] . Valmisteli 9 kandidaattia [2] .