| Vlagyimir Anatoljevics Zaharov | |
|---|---|
| Vlagyimir Zakharov (1995) | |
| Születési dátum | 1960. május 29. (62 évesen) |
| Születési hely | Kharkiv |
| Ország |
Szovjetunió , Oroszország |
| Tudományos szféra | matematika |
| Munkavégzés helye | Moszkvai Állami Egyetem |
| alma Mater | Moszkvai Állami Egyetem (1982) |
| Akadémiai fokozat | A fizikai és matematikai tudományok doktora (2012) |
| Akadémiai cím | Egyetemi tanár |
| tudományos tanácsadója | S. V. Yablonsky |
Vlagyimir Anatoljevics Zakharov (született 1960) matematikus , a fizikai és matematikai tudományok doktora, a Moszkvai Állami Egyetem CMC karának Matematikai Kibernetikai Tanszékének professzora .
A Shchelkovo -i 6. számú középiskolában végzett (1977), a Moszkvai Állami Egyetem Számítógépes Matematikai és Kibernetikai Karán (1982). A Katonaorvosi Bizottság karának posztgraduális képzésében tanult (1982-1985) [1] .
Megvédte értekezését "A Turing-gépek funkcionális ekvivalenciájáról és ekvivalens transzformációiról" (témavezető: S. V. Yablonsky ) a fizikai és matematikai tudományok kandidátusa címén (1987).
A fizika-matematika tudományok doktora fokozat megszerzésére védte meg "A programekvivalencia problémája: modellek, algoritmusok, komplexitás" című disszertációját (2012).
1986 óta dolgozik a Moszkvai Egyetemen : mérnök, főmérnök, fiatal kutató, kutató, a Matematikai Kibernetikai Tanszék tudományos főmunkatársa (1986–1998), egyetemi docens (1998–2014). A Matematikai Kibernetikai Tanszék professzora (2014-től). A Számítógép-biztonsági Matematikai Problémák Laboratóriumának vezetője (2002-től).
Kutatási területei: matematikai logika, számítási komplexitás elmélete, elosztott számítási modellek, formális nyelvek, a kriptográfia matematikai alapjai [1] .
Zakharov általános módszereket dolgozott ki hatékony (polinom összetettségű) algoritmusok létrehozására a programok ekvivalenciájának felismerésére, az ekvivalencia reláció közelítésének elméletét programmodellekre, módszereket az elosztott programok modelljeinek és időbeli logikai képleteinek ellenőrzésére, maszkolási (obfuszkálási) módszereket. ) programok [2] .
2 könyv és több mint 70 tudományos cikk szerzője [3] [4] . Felkészítette a tudományok 9 kandidátusát [2] .