Avetisyan, Harutyun Ishkhanovich

Harutyun Ishkhanovich Avetisyan
Fødselsdato	19. marts 1971 (51 år)( 1971-03-19 )
Fødselssted	Med. Upper Eshera , Sukhumi District , Abkhaz ASSR , USSR
Land	USSR , Rusland
Videnskabelig sfære	programmering
Arbejdsplads	Institut for Systemprogrammering RAS , Moskva Institut for Fysik og Teknologi , Higher School of Economics , VMK MSU
Alma Mater	Jerevan State University
Akademisk grad	Doktor i fysiske og matematiske videnskaber (2012)
Akademisk titel	Professor ved Det Russiske Videnskabsakademi (2016) Akademiker ved Det Russiske Videnskabsakademi (2019)
Priser og præmier

Harutyun Ishkhanovich Avetisyan (født 19. marts 1971 , Verkhnyaya Eshera , Sukhumi-distriktet , Abkhaz ASSR , USSR ) er en russisk matematiker , specialist i systemprogrammering, professor ved Det Russiske Videnskabsakademi (2016), tilsvarende medlem af Det Russiske Videnskabsakademi (2016), akademiker ved Det Russiske Videnskabsakademi (2019), leder af afdelingerne for systemprogrammering af VMK MSU , FUPM MIPT , FKN HSE , direktør for ISP RAS .

Biografi

Født den 19. marts 1971 i landsbyen Verkhnyaya Eshera, Sukhumi-regionen, Abkhaz ASSR. I 1993 dimitterede han med udmærkelse fra Fakultetet for Anvendt Matematik ved Yerevan State University .

I 2001 forsvarede han sin ph.d. - afhandling "Forskning og udvikling af ParJava-programmeringsværktøjssystemet til parallelle computersystemer"; i 2012 - doktorafhandling "Moderne metoder til statisk og dynamisk analyse af programmer til løsning af prioriterede problemer med software engineering."

Siden 2002 har han arbejdet ved Institut for Systemprogrammering ved Det Russiske Videnskabsakademi ; Siden 2015 har han været leder af Instituttet.

I januar 2016 blev han valgt til professor ved Det Russiske Videnskabsakademi [2] ; i oktober 2016 - Tilsvarende medlem af det russiske videnskabsakademi [3] ; i november 2019 - Akademiker fra Det Russiske Videnskabsakademi [4] .

Siden 1. september 2017 - Leder af systemprogrammeringsafdelingen ved fakultetet for beregningsmatematik og kybernetik ved Moskva State University . Siden 2017 - Medlem af Rådet for Videnskab og Uddannelse under præsidenten for Den Russiske Føderation . Han udfører undervisningsarbejde og er leder af afdelingerne for systemprogrammering ved Moscow State University , Moscow Institute of Physics and Technology og Higher School of Economics , hvor han forelæser om compilerteknologier og parallel computing.

Chefredaktør for tidsskrifterne " Programmering " og "Proceedings of ISP RAS"; Formand for det videnskabelige råd for ISP RAS; leder af ISP RAS-laboratoriet, sammen med Samsung ; Leder af Nvidia Research Center hos ISP RAS; bestyrelsesmedlem i Taizenforeningen. RUC.

Videnskabelig aktivitet

Udfører forskningsarbejde inden for områderne analyse og optimering af programmer, sikkerhed af software (SW) og teknologi for parallel og distribueret computing. Forfatter til over 100 publikationer.

Med hans deltagelse udviklede:

• matematiske metoder til softwareanalyse baseret på programmodeller, som gjorde det muligt at skabe nye algoritmer og teknologier til optimering af programmer;
• nye maskinorienterede ydeevneoptimeringer (instruktionsplanlægning, sløjfevektorisering og pipelining) og strømforbrug under hensyntagen til funktionerne i moderne arkitekturer (ARM, EPIC) og applikationsprofiler. De er implementeret i de industrielle compilere GCC og LLVM;
• En udvidet version af LLVM-kompileren, der understøtter applikations-portabilitet i C/C++-sprog, hvilket giver både effektive hardwareovervejelser og en høj grad af pålidelighed og sikkerhed. Det er indlejret i den industrielle mobile platform Tizen ;
• nye metoder og værktøjer til at skabe parallelle applikationer, der giver høj produktivitet, herunder til klynger, der bruger GPGPU.

Inden for softwaresikkerhed foreslog han matematiske metoder og algoritmer til statisk, dynamisk og kombineret softwareanalyse, som ikke har nogen analoger i Rusland, hvilket effektivt løser problemerne med dyb softwareanalyse på niveau med verdens bedste kommercielle systemer med henblik på revision det for at finde sikkerhedssårbarheder og andre defekter i den originale og binære kode. Det er blandt andet muligt at gendanne algoritmer og finde udokumenterede funktioner i en beskyttet binær kode. Et system med statisk analyse af kildekoden Svace og et system med kombineret analyse af beskyttet binær kode "Tral" blev oprettet, som er implementeret og brugt til at løse praktiske problemer med softwaresikkerhed i en række indenlandske og udenlandske organisationer.

Under hans ledelse blev 5 videnskabskandidater uddannet.

Priser

• Medalje af ordenen "For fortjeneste til fædrelandet", II grad (5. juni 2021) - for et stort bidrag til videnskabens udvikling og mange års samvittighedsfuldt arbejde [5] .

Noter

1. ↑ Avetisyan Harutyun Ishkhanovich (VMK MSU) . en.cs.msu.ru. Hentet 16. oktober 2017. Arkiveret fra originalen 17. september 2017. (ubestemt)
2. ↑ Resolutioner fra Præsidiet for Det Russiske Videnskabsakademi om tildeling af titlen "Professor for Det Russiske Videnskabsakademi" (se nr. 13) . Hentet 17. oktober 2017. Arkiveret fra originalen 22. november 2016. (ubestemt)
3. ↑ Valg i Det Russiske Videnskabsakademi - 2016 . Hentet 17. oktober 2017. Arkiveret fra originalen 14. november 2016. (ubestemt)
4. ↑ Liste over akademikere fra Det Russiske Videnskabsakademi valgt af generalforsamlingen for medlemmer af Det Russiske Videnskabsakademi (november 2019) , Portal for det russiske videnskabsakademi  (15. november 2019).
5. ↑ Dekret fra præsidenten for Den Russiske Føderation af 06/05/2021 nr. 340 ∙ Officiel offentliggørelse af retsakter ∙ Officiel internetportal med juridisk information . publication.pravo.gov.ru . Hentet 9. juni 2021. Arkiveret fra originalen 7. juni 2021. (ubestemt)

Links

• Profil af Harutyun Ishkhanovich Avetisyan på den officielle hjemmeside for det russiske videnskabsakademi
• Avetisyan A. I. . ispras.ru. Hentet: 16. oktober 2017. (ubestemt)
• Artikel på Chronicle of Moscow University hjemmeside
• Side på VMK MSU 's hjemmeside
• Publikationer i systemet " TRUTH MGU "

Tematiske steder	Google Scholar Scopus All-russisk matematisk portal