Avetisyan, Harutyun Ishkhanovich

Harutyun Ishkhanovich Avetisyan
Födelsedatum	19 mars 1971 (51 år)( 1971-03-19 )
Födelseort	Med. Upper Eshera , Sukhumi District , Abkhaz ASSR , USSR
Land	Sovjetunionen , Ryssland
Vetenskaplig sfär	programmering
Arbetsplats	Institutet för systemprogrammering RAS , Moskvas institut för fysik och teknik , Högre Handelshögskolan , VMK MSU
Alma mater	Yerevan State University
Akademisk examen	Doktor i fysikaliska och matematiska vetenskaper (2012)
Akademisk titel	Professor i den ryska vetenskapsakademin (2016) akademiker vid den ryska vetenskapsakademin (2019)
Utmärkelser och priser

Harutyun Ishkhanovich Avetisyan (född 19 mars 1971 , Verkhnyaya Eshera , Sukhumi-distriktet , Abkhaz ASSR , USSR ) är en rysk matematiker , specialist i systemprogrammering, professor i Ryska Vetenskapsakademin (2016), motsvarande medlem av Ryska Vetenskapsakademin (2016), akademiker vid Ryska vetenskapsakademin (2019), chef för avdelningarna för systemprogrammering av VMK MSU , FUPM MIPT , FKN HSE , chef för ISP RAS .

Biografi

Född den 19 mars 1971 i byn Verkhnyaya Eshera, Sukhumi-regionen, Abkhaz ASSR. 1993 tog han examen med utmärkelser från fakulteten för tillämpad matematik vid Yerevan State University .

2001 disputerade han på sin doktorsavhandling "Forskning och utveckling av programmeringsverktyget ParJava för parallella datorsystem"; 2012 - doktorsavhandling "Moderne metoder för statisk och dynamisk analys av program för att lösa prioriterade problem med mjukvaruteknik."

Sedan 2002 har han arbetat vid Institutet för systemprogrammering vid den ryska vetenskapsakademin ; Sedan 2015 är han chef för institutet.

I januari 2016 valdes han till professor i Ryska vetenskapsakademin [2] ; i oktober 2016 - Motsvarande ledamot av Ryska vetenskapsakademin [3] ; i november 2019 - Akademiker vid Ryska vetenskapsakademin [4] .

Sedan 1 september 2017 - Chef för systemprogrammeringsavdelningen vid fakulteten för beräkningsmatematik och cybernetik vid Moscow State University . Sedan 2017 - Medlem av rådet för vetenskap och utbildning under Ryska federationens president . Han bedriver undervisning och är chef för avdelningarna för systemprogrammering vid Moscow State University , Moskvas institut för fysik och teknik och Högre ekonomiskolan , där han föreläser om kompilatorteknik och parallell beräkning.

Chefredaktör för tidskrifterna " Programmering " och "Proceedings of ISP RAS"; Ordförande i det vetenskapliga rådet för ISP RAS; chef för ISP RAS-laboratoriet, tillsammans med Samsung ; Chef för Nvidia Research Center vid ISP RAS; styrelseledamot i Taizenföreningen. RU.

Vetenskaplig verksamhet

Bedriver forskningsarbete inom områdena analys och optimering av program, säkerhet av mjukvara (SW) och teknologi för parallell och distribuerad datoranvändning. Författare till över 100 publikationer.

Med hans deltagande utvecklade:

• matematiska metoder för mjukvaruanalys baserade på programmodeller, vilket gjorde det möjligt att skapa nya algoritmer och teknologier för att optimera program;
• nya maskinorienterade prestandaoptimeringar (instruktionsschemaläggning, loopvektorisering och pipelining) och strömförbrukning, med hänsyn till funktionerna hos moderna arkitekturer (ARM, EPIC) och applikationsprofiler. De är implementerade i industrikompilatorerna GCC och LLVM;
• En utökad version av LLVM-kompilatorn som stöder applikationsportabilitet i C/C++-språk, vilket ger både effektiva hårdvaruöverväganden och en hög grad av tillförlitlighet och säkerhet. Den är inbäddad i den industriella mobilplattformen Tizen ;
• nya metoder och verktyg för att skapa parallella applikationer som ger hög produktivitet, inklusive för kluster som använder GPGPU.

Inom området mjukvarusäkerhet föreslog han matematiska metoder och algoritmer för statisk, dynamisk och kombinerad mjukvaruanalys, som inte har några analoger i Ryssland, vilket effektivt löser problemen med djup mjukvaruanalys på nivån med världens bästa kommersiella system för att kunna granska det för att hitta säkerhetssårbarheter och andra defekter i den ursprungliga och binära koden. Det är bland annat möjligt att återställa algoritmer och hitta odokumenterade funktioner i en skyddad binär kod. Ett system för statisk analys av källkoden Svace och ett system för kombinerad analys av skyddad binär kod "Tral" skapades, som implementeras och används för att lösa praktiska problem med mjukvarusäkerhet i ett antal inhemska och utländska organisationer.

Under hans ledning utbildades 5 vetenskapskandidater.

Utmärkelser

• Ordensmedalj "För förtjänst åt fäderneslandet", II grad (5 juni 2021) - för ett stort bidrag till vetenskapens utveckling och många års samvetsgranna arbete [5] .

Anteckningar

1. ↑ Avetisyan Harutyun Ishkhanovich (VMK MSU) . en.cs.msu.ru. Hämtad 16 oktober 2017. Arkiverad från originalet 17 september 2017. (obestämd)
2. ↑ Resolutioner från presidiet för den ryska vetenskapsakademin om att tilldela titeln "Professor i den ryska vetenskapsakademin" (se nr 13) . Hämtad 17 oktober 2017. Arkiverad från originalet 22 november 2016. (obestämd)
3. ↑ Val i Ryska vetenskapsakademin - 2016 . Hämtad 17 oktober 2017. Arkiverad från originalet 14 november 2016. (obestämd)
4. ↑ Lista över akademiker från Ryska Vetenskapsakademin valda av bolagsstämman för medlemmar i Ryska Vetenskapsakademin (november 2019) , Portal of Russian Academy of Sciences  (15 november 2019).
5. ↑ Dekret från Ryska federationens president av den 06/05/2021 nr 340 ∙ Officiell publicering av rättsakter ∙ Officiell Internetportal med juridisk information . publication.pravo.gov.ru . Hämtad 9 juni 2021. Arkiverad från originalet 7 juni 2021. (obestämd)

Länkar

• Profil av Harutyun Ishkhanovich Avetisyan på den officiella webbplatsen för den ryska vetenskapsakademin
• Avetisyan A. I. . ispras.ru. Hämtad: 16 oktober 2017. (obestämd)
• Artikel på webbplatsen Chronicle of Moscow University
• Sida på VMK MSU:s webbplats
• Publikationer i systemet " TRUTH MGU "

Tematiska platser	Google Scholar Scopus Helrysk matematisk portal