Ivannikov, Viktor Petrovics

Viktor Petrovics Ivannikov

V. P. Ivannikov
Születési dátum 1940. február 27( 1940-02-27 )
Születési hely Stupino , Moszkva terület , Orosz SFSR , Szovjetunió
Halál dátuma 2016. november 27. (76 éves)( 2016-11-27 )
A halál helye Moszkva , Oroszország
Ország
Tudományos szféra programozás
Munkavégzés helye ISP RAS , Moszkvai Állami Egyetem , Moszkvai Fizikai és Technológiai Intézet
alma Mater MIPT
Akadémiai fokozat A fizikai és matematikai tudományok doktora  ( 1980 )
Akadémiai cím professzor  ( 1986 )
az Orosz Tudományos Akadémia levelező tagja  ( 1984 )
, az Orosz Tudományos Akadémia akadémikusa  ( 2008 )
Diákok A. I. Avetisyan ,
Vl.V. Voevodin
Díjak és díjak A Szovjetunió Állami Díja - 1980
Weboldal www.ispras.ru
 Médiafájlok a Wikimedia Commons oldalon

Viktor Petrovics Ivannikov ( 1940. február 27., Stupino , Moszkva régió  - 2016. november 27., Moszkva ) - szovjet és orosz tudós a számítástechnika és programozás területén , az Orosz Tudományos Akadémia akadémikusa (2008. május 29. óta, megfelelő 1984 óta a Szovjetunió Tudományos Akadémia tagja ). Az Orosz Tudományos Akadémia Rendszerprogramozási Intézetének alapítója , a " Programozás " című folyóirat főszerkesztője, a Moszkvai Állami Egyetem CMC karának és a Moszkvai Fizikai Intézet rendszerprogramozási tanszékének vezetője . és Technológia .

Életrajz

Tanulmányait a Kamensk-Uralsky középiskolában (1957) követően a Moszkvai Fizikai és Technológiai Intézetben matematikai számolóműszerek és -eszközök szakon szerzett diplomát (1963).

A fizikai és matematikai tudományok kandidátusa (1971, disszertáció "Az ND-70 operációs rendszer a BESM-6-hoz "), a fizikai és matematikai tudományok doktora (1980, disszertáció "Többgépes számítástechnikai rendszerek operációs rendszereinek problémái és az operációs rendszer megvalósítása" rendszerek AS-6-BESM-6" ), professzor (1986).

1979 óta dolgozik a Moszkvai Egyetemen , először a Moszkvai Állami Egyetem Számítástechnikai Karának Számítástechnikai Rendszerek Automatizálási Tanszékén a következő beosztásokban: egyetemi tanár ( 1979-1985 ), egyetemi docens ( 1985-1986 ) , professzor ( 1986 óta ) . 1994 óta a Moszkvai Állami Egyetem CMC karának Rendszerprogramozási Tanszékének vezetője . A Moszkvai Fizikai és Technológiai Intézet Rendszerprogramozási Tanszékének vezetője ( 1996 óta ) [1] .

1984 óta a Szovjetunió Tudományos Akadémia levelező tagja, 2008 májusa óta  - az Orosz Tudományos Akadémia akadémikusa .

1994-2014 között az Orosz Tudományos Akadémia Rendszerprogramozási Intézetének igazgatója volt . A " Programozás " magazin főszerkesztője . Az Orosz Tudományos Akadémia "Programozási" Tudományos Tanácsának elnöke. Az ACM , IEEE nemzetközi tudományos közösségek tagja (az IEEE orosz részlegének vezetője).

2009 májusa óta – az Orosz Szabad szoftverek Szövetségének (RASPO) elnöke [2] . Előadásokat tartott a Moszkvai Fizikai és Technológiai Intézetben és a Moszkvai Állami Egyetemen: "Operációs rendszerek", "Adatbázisok", "Algoritmusok és algoritmikus nyelvek". 5 doktort és 30 tudományjelöltet készített fel. Több mint 100 tudományos közleményt publikált, 2 találmányt regisztrált.

A Szovjetunió Állami Díjának kitüntetettje ( 1980).

Feleség - Tamara Nikolaevna; fia Pavel ügyvéd, lánya Natalya [3] .

2016. november 27- én halt meg Moszkvában. A Troekurovsky temetőben temették el .

Tudományos eredmények

Kutatási területei: rendszerprogramozás, számítógép-architektúra, operációs rendszerek. 1962 és 1980 között az Orosz Tudományos Akadémia Lebegyev Precíziós Mechanikai és Számítástechnikai Intézetében dolgozott , ahol technikusból az egyik vezető specialistává nőtte ki magát. Alapvetően hozzájárult a számítógépes operációs rendszerek és számítógépes rendszerek fejlesztésének elméletének és gyakorlatának megalkotásához. Ő az egyik fő résztvevője a BESM-6 számítógép első operációs rendszerének ( D-68 ) megalkotásának . A feladatokban párhuzamos folyamatok szervezésének és a szoftverrendszerek hierarchikus szervezésének operatív eszközeit javasolta. Ezek az alapelvek, amelyeket a BESM-6 operációs rendszer következő módosításában (ND-70) implementáltak, képezték PhD értekezésének alapját. Az AS-6 többszámítógépes komplexum processzorszerkezetének és általános architektúrájának egyik fő fejlesztője, az AS-6 alapú számítógépek heterogén helyi hálózatának operációs rendszerének létrehozásának és megvalósításának vezetője és aktív résztvevője. komplex (doktori értekezését ennek a kérdésnek szenteli). Hozzájárult olyan számítógépes rendszerek létrehozásához, amelyek valós idejű információfeldolgozást biztosítanak az űrhajók repülésirányító központjaiban.

Az 1980-as években a Szovjetunió Elektronikai Ipari Minisztériumának Delta Kutatóintézetében és a Szovjetunió Tudományos Akadémia Kibernetikai Probléma Intézetében dolgozott, tervezőautomatizálási rendszerek és szuperszámítógép-szoftverek létrehozását és megvalósítását vezette. 1991-től 1994-ig az Orosz Tudományos Akadémia Kibernetikai Probléma Intézetének osztályát vezette, a Rendszerprogramozási Intézet igazgatója volt az ISP általi 1994 januári megalakításától 2015-ig [4] . Az 1990-es évek végén és a 2000-es évek elején végzett kutatások a programforráskódok formális specifikációinak kidolgozását automatizáló rendszer, valamint a szoftverinterfészek széles osztályára vonatkozó tesztek generálására szolgáló rendszer, a régebbi szoftverek tanulmányozására szolgáló eszközrendszer, mint pl. valamint az interoperabilitás biztosítása elosztott objektum alapú rendszerekben. Irányította a DOOS (Distributed Object-Oriented Systems) munkacsoportot az ISP RAS-nál.

Főbb munkái

Jegyzetek

  1. ↑ A MIPT Számítástechnikai Tanszéke . Letöltve: 2007. szeptember 16. Az eredetiből archiválva : 2007. október 16..
  2. ↑ A RASPO Egyesület megtartotta első alakuló közgyűlését . Hozzáférés dátuma: 2018. február 26. Az eredetiből archiválva : 2018. február 27.
  3. ↑ Pavel Ivannikov - Az Orosz Tudományos Akadémia tagjainak: "Nagyon nem akarom, hogy valaki megismételje apám hibáját ..." . Letöltve: 2020. május 31. Az eredetiből archiválva : 2020. január 13.
  4. ↑ ISP RAS . Letöltve: 2018. február 26. Az eredetiből archiválva : 2018. február 26..

Linkek

Online képzések

  Ugrás a Wikidata elemre  Tematikus oldalak
Szótárak és enciklopédiák
Bibliográfiai katalógusokban