Ivannikov, Viktor Petrovič

Viktor Petrovič Ivannikov

V. P. Ivannikov
Datum narození 27. února 1940( 1940-02-27 )
Místo narození Stupino , Moskevská oblast , Ruská SFSR , SSSR
Datum úmrtí 27. listopadu 2016 (76 let)( 27. 11. 2016 )
Místo smrti Moskva , Rusko
Země
Vědecká sféra programování
Místo výkonu práce ISP RAS , Moskevská státní univerzita , Moskevský institut fyziky a technologie
Alma mater MIPT
Akademický titul doktor fyzikálních a matematických věd  ( 1980 )
Akademický titul Profesor  ( 1986 )
člen korespondent Ruské akademie věd  ( 1984 )
Akademik Ruské akademie věd  ( 2008 )
Studenti A. I. Avetisyan ,
Vl.V. Voevodin
Ocenění a ceny Státní cena SSSR - 1980
webová stránka www.ispras.ru
 Mediální soubory na Wikimedia Commons

Viktor Petrovič Ivannikov ( 27. února 1940 , Stupino , Moskevská oblast  - 27. listopadu 2016 , Moskva ) - sovětský a ruský vědec v oboru výpočetní techniky a programování , akademik Ruské akademie věd (od 29. května 2008, příp. člen Akademie věd SSSR od roku 1984). Zakladatel Institutu pro systémové programování Ruské akademie věd , šéfredaktor časopisu „ Programování “, vedoucí kateder systémového programování na fakultě CMC Moskevské státní univerzity a na Moskevském fyzikálním institutu a technologie .

Životopis

Po ukončení studií na střední škole Kamensk-Uralsky (1957) absolvoval Moskevský institut fyziky a technologie v oboru matematické kalkulační přístroje a zařízení (1963).

Kandidát fyzikálních a matematických věd (1971, disertační práce "Operační systém ND-70 pro BESM-6 "), doktor fyzikálních a matematických věd (1980, disertační práce "Problémy operačních systémů vícestrojových výpočetních systémů a implementace operačních systémy AS-6-BESM-6" ), profesor (1986).

Na Moskevské univerzitě působí od roku 1979 , nejprve na Katedře automatizace počítačových systémů Fakulty informatiky Moskevské státní univerzity v těchto funkcích: odborný asistent ( 1979-1985 ) , docent ( 1985-1986 ) , profesor ( od roku 1986 ) . Od roku 1994 je vedoucím katedry systémového programování na fakultě CMC Moskevské státní univerzity . Vedoucí katedry systémového programování Moskevského institutu fyziky a technologie (od roku 1996 ) [1] .

Člen korespondent Akademie věd SSSR od roku 1984, od května 2008  - akademik Ruské akademie věd .

V letech 1994-2014 byl ředitelem Institutu systémového programování Ruské akademie věd . Šéfredaktor časopisu " Programování ". Předseda vědecké rady "Programování" Ruské akademie věd. Člen mezinárodních vědeckých komunit ACM , IEEE (v čele ruské pobočky IEEE).

Od května 2009 - prezident Ruské asociace svobodného softwaru (RASPO) [2] . Přednášel na Moskevském institutu fyziky a technologie a Moskevské státní univerzitě: „Operační systémy“, „Databáze“, „Algoritmy a algoritmické jazyky“. Připraveno 5 lékařů a 30 kandidátů věd. Publikoval přes 100 vědeckých prací, registroval 2 vynálezy.

Laureát Státní ceny SSSR (1980).

Manželka - Tamara Nikolaevna; syn Pavel je právník, dcera Natalya [3] .

Zemřel 27. listopadu 2016 v Moskvě. Byl pohřben na Troekurovském hřbitově .

Vědecké úspěchy

Zájmy výzkumu: systémové programování, počítačová architektura, operační systémy. V letech 1962 až 1980 pracoval v Lebeděvově institutu přesné mechaniky a výpočetní techniky Ruské akademie věd , kde se z technika vypracoval na jednoho z předních specialistů. Zásadně přispěl k vytvoření teorie a praxe vývoje počítačových operačních systémů a počítačových systémů. Je jedním z hlavních účastníků vytvoření prvního operačního systému ( D-68 ) pro počítač BESM-6 . Navrhl operační prostředky organizace paralelních procesů v úlohách a hierarchické uspořádání softwarových systémů. Tyto principy, implementované v další modifikaci operačního systému (ND-70) pro BESM-6, tvořily základ jeho disertační práce. Jeden z hlavních vývojářů struktury procesorů a obecné architektury multipočítačového komplexu AS-6, vedoucí a aktivní účastník při vytváření a implementaci operačního systému heterogenní lokální počítačové sítě založené na AS-6 komplexní (této problematice se věnuje jeho doktorská disertační práce). Přispěl k vytvoření počítačových systémů, které zajišťují zpracování informací v reálném čase v letových řídících střediscích kosmických lodí.

V 80. letech při práci ve Výzkumném ústavu Delta Ministerstva elektronického průmyslu SSSR a v Ústavu kybernetických problémů Akademie věd SSSR vedl tvorbu a implementaci systémů pro automatizaci návrhu a superpočítačového softwaru. V letech 1991 až 1994 vedl oddělení Institutu kybernetických problémů Ruské akademie věd, byl ředitelem Institutu pro systémové programování od doby jeho založení ISP v lednu 1994 až do roku 2015 [4] . Výzkum na přelomu 90. a 20. století byl spojen s vytvořením systému pro automatizaci vývoje formálních specifikací pro zdrojové kódy programů a systému pro generování testů pro širokou třídu softwarových rozhraní, nástrojového systému pro studium legacy software, as stejně jako zajištění interoperability v distribuovaných objektově orientovaných systémech. Řídil pracovní skupinu DOOS (Distributed Object-Oriented Systems) v ISP RAS.

Hlavní práce

Poznámky

  1. ↑ Katedra informatiky na MIPT . Získáno 16. září 2007. Archivováno z originálu 16. října 2007.
  2. ↑ Sdružení RASPO uspořádalo první ustavující shromáždění . Datum přístupu: 26. února 2018. Archivováno z originálu 27. února 2018.
  3. ↑ Pavel Ivannikov - Členům Ruské akademie věd: „Opravdu nechci, aby někdo opakoval chybu mého otce...“ . Staženo 31. května 2020. Archivováno z originálu dne 13. ledna 2020.
  4. ↑ ISP RAS . Staženo 26. února 2018. Archivováno z originálu 26. února 2018.

Odkazy

Online školicí kurzy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie
V bibliografických katalozích