Ivannikov, Viktor Petrovich

Viktor Petrovich Ivannikov

V. P. Ivannikov
Födelsedatum 27 februari 1940( 1940-02-27 )
Födelseort Stupino , Moskva oblast , ryska SFSR , Sovjetunionen
Dödsdatum 27 november 2016 (76 år)( 2016-11-27 )
En plats för döden Moskva , Ryssland
Land
Vetenskaplig sfär programmering
Arbetsplats ISP RAS , Moscow State University , Moscow Institute of Physics and Technology
Alma mater MIPT
Akademisk examen Doktor i fysikaliska och matematiska vetenskaper  ( 1980 )
Akademisk titel Professor  ( 1986 )
Motsvarande ledamot av Ryska vetenskapsakademin  ( 1984 )
akademiker i Ryska vetenskapsakademin  ( 2008 )
Studenter A.I. Avetisyan ,
Vl.V. Voevodin
Utmärkelser och priser Sovjetunionens statliga pris - 1980
Hemsida www.ispras.ru
 Mediafiler på Wikimedia Commons

Viktor Petrovich Ivannikov ( 27 februari 1940 , Stupino , Moskvaregionen  - 27 november 2016 , Moskva ) - sovjetisk och rysk forskare inom området datorteknik och programmering , akademiker vid Ryska vetenskapsakademin (sedan 29 maj 2008, motsvarande medlem av USSR Academy of Sciences sedan 1984). Grundare av Institutet för systemprogrammering vid den ryska vetenskapsakademin , chefredaktör för tidskriften " Programmering ", chef för avdelningarna för systemprogrammering vid fakulteten för CMC vid Moskvas statliga universitet och vid Moskvas fysikinstitut och teknik .

Biografi

Efter att ha avslutat sina studier vid gymnasieskolan i Kamensk-Uralsky (1957) tog han examen från Moskvainstitutet för fysik och teknik med en examen i matematiska beräkningsinstrument och anordningar (1963).

Kandidat för fysikaliska och matematiska vetenskaper (1971, avhandling "The ND-70 operating system for BESM-6 "), doktor i fysikaliska och matematiska vetenskaper (1980, avhandling "Problems of operating systems of multi-machine computing systems and implementation of operating system" system AS-6-BESM-6" ), professor (1986).

Han har arbetat vid Moskvas universitet sedan 1979 , först vid avdelningen för datorsystemautomation vid fakulteten för datavetenskap vid Moskvas statliga universitet i följande befattningar: universitetslektor ( 1979-1985 ), docent ( 1985-1986 ) , professor ( sedan 1986 ) . Sedan 1994 har han varit chef för avdelningen för systemprogrammering vid fakulteten vid CMC vid Moscow State University . Chef för avdelningen för systemprogrammering vid Moskvainstitutet för fysik och teknologi (sedan 1996 ) [1] .

Motsvarande medlem av USSR Academy of Sciences sedan 1984, sedan maj 2008  - Akademiker vid Ryska vetenskapsakademin .

1994-2014 var han chef för Institutet för systemprogrammering vid den ryska vetenskapsakademin . Chefredaktör för tidningen " Programmering ". Ordförande för det vetenskapliga rådet "Programmering" av den ryska vetenskapsakademin. Medlem av de internationella vetenskapliga samfunden ACM , IEEE (ledde den ryska grenen av IEEE).

Sedan maj 2009 - Ordförande för Russian Free Software Association (RASPO) [2] . Han höll föreläsningskurser vid Moskvas institut för fysik och teknik och Moscow State University: "Operating Systems", "Databases", "Algorithms and Algorithmic Languages". Förberedde 5 doktorer och 30 vetenskapskandidater. Publicerade över 100 vetenskapliga artiklar, registrerade 2 uppfinningar.

Pristagare av Sovjetunionens statspris ( 1980).

Hustru - Tamara Nikolaevna; sonen Pavel är en advokat, dottern Natalya [3] .

Han dog den 27 november 2016 i Moskva. Han begravdes på Troekurovsky-kyrkogården .

Vetenskapliga landvinningar

Forskningsintressen: systemprogrammering, datorarkitektur, operativsystem. Från 1962 till 1980 arbetade han vid Lebedev Institute of Precision Mechanics and Computer Technology vid Ryska Vetenskapsakademin , där han steg från en tekniker till en av de ledande specialisterna. Han gav ett grundläggande bidrag till skapandet av teorin och praktiken för att utveckla datoroperativsystem och datorsystem. Han är en av huvuddeltagarna i skapandet av det första operativsystemet ( D-68 ) för BESM-6- datorn . Han föreslog operativa sätt att organisera parallella processer i uppgifter och hierarkisk organisation av mjukvarusystem. Dessa principer, implementerade i nästa modifiering av operativsystemet (ND-70) för BESM-6, utgjorde grunden för hans doktorsavhandling. En av huvudutvecklarna av strukturen för processorer och den allmänna arkitekturen för AS-6 multidatorkomplexet, ledaren och aktiv deltagare i skapandet och implementeringen av operativsystemet för ett heterogent lokalt nätverk av datorer baserat på AS-6 komplex (hans doktorsavhandling ägnas åt denna fråga). Han bidrog till skapandet av datorsystem som tillhandahåller informationsbehandling i realtid i flygkontrollcenter för rymdfarkoster.

På 1980-talet, medan han arbetade vid Delta Research Institute i USSR Ministry of Electronic Industry och vid Institute of Cybernetics Problems vid USSR Academy of Sciences, ledde han skapandet och implementeringen av designautomationssystem och superdatorprogramvara. Från 1991 till 1994 ledde han avdelningen för Institute of Cybernetics Problems of the Russian Academy of Sciences, var chef för Institutet för systemprogrammering från tidpunkten för dess bildande av ISP i januari 1994 till 2015 [4] . Forskning i slutet av 1990-talet och början av 2000-talet förknippades med skapandet av ett system för att automatisera utvecklingen av formella specifikationer för programkällkoder och ett system för att generera tester för en bred klass av mjukvarugränssnitt, ett verktygssystem för att studera äldre mjukvara, som samt säkerställa interoperabilitet i distribuerade objektbaserade system. Ledde arbetsgruppen DOOS (Distributed Object-Oriented Systems) på ISP RAS.

Huvudverk

Anteckningar

  1. ↑ Institutionen för datavetenskap vid MIPT . Hämtad 16 september 2007. Arkiverad från originalet 16 oktober 2007.
  2. ↑ RASPO Association höll sin första konstituerande församling . Datum för åtkomst: 26 februari 2018. Arkiverad från originalet 27 februari 2018.
  3. ↑ Pavel Ivannikov - Till medlemmar av Ryska vetenskapsakademin: "Jag vill verkligen inte att någon ska upprepa min fars misstag ..." . Hämtad 31 maj 2020. Arkiverad från originalet 13 januari 2020.
  4. ↑ ISP RAS . Hämtad 26 februari 2018. Arkiverad från originalet 26 februari 2018.

Länkar

Onlineutbildningar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk
I bibliografiska kataloger