Ivannikov, Viktor Petrovici
| Viktor Petrovici Ivannikov | |
|---|---|
| V. P. Ivannikov | |
| Data nașterii | 27 februarie 1940 |
| Locul nașterii | Stupino , regiunea Moscova , SFSR rusă , URSS |
| Data mortii | 27 noiembrie 2016 (vârsta 76) |
| Un loc al morții | Moscova , Rusia |
| Țară | |
| Sfera științifică | programare |
| Loc de munca | ISP RAS , Universitatea de Stat din Moscova , Institutul de Fizică și Tehnologie din Moscova |
| Alma Mater | MIPT |
| Grad academic | Doctor în științe fizice și matematice ( 1980 ) |
| Titlu academic |
Profesor ( 1986 ) Membru corespondent al Academiei Ruse de Științe ( 1984 ) Academician al Academiei Ruse de Științe ( 2008 ) |
| Elevi |
A. I. Avetisyan , Vl.V. Voevodin |
| Premii și premii |
 |
| Site-ul web | www.ispras.ru |
| Fișiere media la Wikimedia Commons | |
Viktor Petrovici Ivannikov ( 27 februarie 1940 , Stupino , regiunea Moscova - 27 noiembrie 2016 , Moscova ) - om de știință sovietic și rus în domeniul tehnologiei și programării computerelor , academician al Academiei Ruse de Științe (din 29 mai 2008, corespunzător membru al Academiei de Științe a URSS din 1984). Fondator al Institutului de Programare a Sistemelor al Academiei Ruse de Științe , redactor-șef al revistei „ Programare ”, șef al departamentelor de programare a sistemelor la facultatea CMC a Universității de Stat din Moscova și la Institutul de Fizică din Moscova și Tehnologie .
Biografie
După terminarea studiilor la școala secundară Kamensk-Uralsky (1957), a absolvit Institutul de Fizică și Tehnologie din Moscova cu o diplomă în Instrumente și Dispozitive de calcul matematic (1963).
Candidat la științe fizice și matematice (1971, disertație „Sistemul de operare ND-70 pentru BESM-6 ”), doctor în științe fizice și matematice (1980, disertație „Problemele sistemelor de operare ale sistemelor de calcul multi-mașină și implementarea sistemelor de operare sisteme AS-6-BESM-6" ), profesor (1986).
Lucrează la Universitatea din Moscova din 1979 , mai întâi la Departamentul de Automatizare a Sistemelor Calculatoare a Facultății de Informatică a Universității de Stat din Moscova în următoarele posturi: Lector principal ( 1979-1985 ), Profesor asociat ( 1985-1986 ) , Profesor ( din 1986 ) . Din 1994, este șeful Departamentului de Programare a Sistemelor la facultatea CMC a Universității de Stat din Moscova . Șef al Departamentului de Programare a Sistemelor la Institutul de Fizică și Tehnologie din Moscova (din 1996 ) [1] .
Membru corespondent al Academiei de Științe a URSS din 1984, din mai 2008 - Academician al Academiei Ruse de Științe .
În 1994-2014, a fost director al Institutului de Programare a Sistemelor al Academiei Ruse de Științe . Redactor-șef al revistei „ Programare ”. Președintele Consiliului Științific „Programare” al Academiei Ruse de Științe. Membru al comunităților științifice internaționale ACM , IEEE (a condus filiala rusă a IEEE).
Din mai 2009 - Președinte al Asociației Ruse pentru Software Liber (RASPO) [2] . A susținut cursuri de curs la Institutul de Fizică și Tehnologie din Moscova și Universitatea de Stat din Moscova: „Sisteme de operare”, „Baze de date”, „Algoritmi și limbaje algoritmice”. A pregătit 5 doctori și 30 de candidați la științe. A publicat peste 100 de lucrări științifice, a înregistrat 2 invenții.
Laureat al Premiului de Stat al URSS (1980).
Soția - Tamara Nikolaevna; fiul Pavel este avocat, fiica Natalya [3] .
A murit pe 27 noiembrie 2016 la Moscova. A fost înmormântat la cimitirul Troekurovsky .
Realizări științifice
Interese de cercetare: programare de sisteme, arhitectură computer, sisteme de operare. Din 1962 până în 1980, a lucrat la Institutul de Mecanică de Precizie și Tehnologia Calculatoarelor Lebedev al Academiei Ruse de Științe , unde a trecut de la tehnician la unul dintre specialiștii de frunte. El a adus o contribuție fundamentală la crearea teoriei și practicii dezvoltării sistemelor de operare și sistemelor informatice. El este unul dintre principalii participanți la crearea primului sistem de operare ( D-68 ) pentru computerul BESM-6 . El a propus mijloace operaționale de organizare a proceselor paralele în sarcini și organizarea ierarhică a sistemelor software. Aceste principii, implementate în următoarea modificare a sistemului de operare (ND-70) pentru BESM-6, au stat la baza tezei sale de doctorat. Unul dintre principalii dezvoltatori ai structurii procesoarelor și arhitecturii generale a complexului multicomputer AS-6, liderul și participantul activ la crearea și implementarea sistemului de operare a unei rețele locale eterogene de calculatoare bazate pe AS-6. complex (teza sa de doctorat este dedicată acestei probleme). El a contribuit la crearea sistemelor informatice care asigură procesarea informațiilor în timp real în centrele de control al zborului navelor spațiale.
În anii 1980, în timp ce lucra la Institutul de Cercetare Delta al Ministerului Industriei Electronice al URSS și la Institutul de Probleme Cibernetice al Academiei de Științe a URSS, a condus crearea și implementarea sistemelor de automatizare a proiectării și a software-ului pentru supercomputer. Din 1991 până în 1994, a condus departamentul Institutului de Probleme Cibernetice al Academiei Ruse de Științe, a fost directorul Institutului de Programare a Sistemelor de la momentul formării acestuia de către ISP în ianuarie 1994 până în 2015 [4] . Cercetările de la sfârșitul anilor 1990 și începutul anilor 2000 au fost asociate cu crearea unui sistem de automatizare a dezvoltării specificațiilor formale pentru codurile sursă de programe și a unui sistem de generare de teste pentru o clasă largă de interfețe software, un sistem de instrumente pentru studiul software-ului moștenit, ca precum și asigurarea interoperabilității în sistemele distribuite orientate pe obiecte. Gestionarea grupului de lucru DOOS (Distributed Object-Oriented Systems) la ISP RAS.
Lucrări principale
- Specificarea meta-extensiilor pentru un control eficient al meta-obiectelor // Programare. 1997. Nr. 4 (cu K. V. Dyshleva, V. I. Zadorozhny);
- Proiect CLASTOS // Proceedings of SORUCOM-2011. Veliky Novgorod, 2011 (cu I. B. Burdonov, A. S. Kosachev);
- Experiență în utilizarea UniTESK ca oglindă pentru dezvoltarea tehnologiilor de testare bazate pe modele // Proceedings of the Institute for System Programming of the Russian Academy of Sciences. 2013. Nr. 24 (cu A. K. Petrenko, V. V. Kulyamin, A. V. Maksimov);
- Implementarea transformărilor de ofuscare în infrastructura compilatorului LLVM // Proceedings of the Institute for System Programming of the Russian Academy of Sciences, 2014. Nr. 1 (cu Sh. F. Kurmangaleev, A. A. Belevantsev, A. R. Nurmukhametov, V. V. Savchenko, R. A. Matevosyan, R. A. A. I. Avetisyan).
Note
- ↑ Departamentul de Informatică de la MIPT . Consultat la 16 septembrie 2007. Arhivat din original la 16 octombrie 2007.
- ↑ Asociaţia RASPO a ţinut prima sa adunare constitutivă . Data accesului: 26 februarie 2018. Arhivat din original pe 27 februarie 2018.
- ↑ Pavel Ivannikov - Pentru membrii Academiei Ruse de Științe: „Chiar nu vreau ca cineva să repete greșeala tatălui meu...” . Preluat la 31 mai 2020. Arhivat din original la 13 ianuarie 2020.
- ↑ ISP RAS . Consultat la 26 februarie 2018. Arhivat din original pe 26 februarie 2018.
Link -uri
- Profilul lui Viktor Petrovici Ivannikov pe site-ul oficial al Academiei Ruse de Științe
- Ivannikov Viktor Petrovici pe site-ul web al muzeului virtual de calculatoare
- Lucrări științifice în sistemul ISTINA al Universității de Stat din Moscova
- Informații istorice pe site-ul Arhivei Academiei Ruse de Științe
ISP RAS: „Amintiri ale lui Viktor Petrovici Ivannikov”. (publicat 10 decembrie 2020)- O scrisoare deschisă a lui Pavel Viktorovich Ivannikov .
Cursuri de formare online
- „Probleme moderne ale programării sistemului”. Prelegere în cadrul cursului „Probleme moderne de matematică aplicată”. MIPT, 12 februarie 2013. (publicat 4 martie 2013).
- Introducere în algoritmi // curs de prelegeri
 Site-uri tematice | |
|---|---|
| Dicționare și enciclopedii | |
| În cataloagele bibliografice |