Avetisyan, Harutyun Ishkhanovich

Harutyun Ishkhanovich Avetisyan
Syntymäaika 19. maaliskuuta 1971 (51-vuotias)( 1971-03-19 )
Syntymäpaikka Kanssa. Ylä-Eshera , Sukhumin piiri , Abhasian ASSR , Neuvostoliitto
Maa  Neuvostoliitto , Venäjä
 
Tieteellinen ala ohjelmointi
Työpaikka Järjestelmäohjelmoinnin instituutti RAS , Moskovan Fysiikan ja teknologian instituutti , Kauppakorkeakoulu , VMK MSU
Alma mater Jerevanin osavaltion yliopisto
Akateeminen tutkinto Fysikaalisten ja matemaattisten tieteiden tohtori (2012)
Akateeminen titteli Venäjän tiedeakatemian professori (2016)
Venäjän tiedeakatemian akateemikko (2019)
Palkinnot ja palkinnot RUS:n mitali ansioista Isänmaalle 2. luokan ribbon.svg

Harutyun Ishkhanovich Avetisyan (s . 19. maaliskuuta 1971 , Verkhnyaya Eshera , Sukhumin piiri , Abhaz ASSR , Neuvostoliitto ) on venäläinen matemaatikko , järjestelmäohjelmoinnin asiantuntija, Venäjän tiedeakatemian professori (2016), Venäjän tiedeakatemian vastaava jäsen (2016), Venäjän tiedeakatemian akateemikko (2019), VMK MSU :n järjestelmäohjelmoinnin osastojen johtaja , FUPM MIPT , FKN HSE , ISP RAS :n johtaja .

Elämäkerta

Syntynyt 19. maaliskuuta 1971 Verkhnyaya Esheran kylässä Sukhumin alueella, Abhasian ASSR:ssä. Vuonna 1993 hän valmistui arvosanoin Jerevanin osavaltion yliopiston soveltavan matematiikan tiedekunnasta .

Vuonna 2001 hän puolusti väitöskirjansa "ParJava-ohjelmointityökalujärjestelmän tutkimus ja kehittäminen rinnakkaisille laskentajärjestelmille"; vuonna 2012 - väitöskirja "Ohjelmien staattisen ja dynaamisen analyysin nykyaikaiset menetelmät ohjelmistotuotannon prioriteettiongelmien ratkaisemiseksi."

Vuodesta 2002 hän on työskennellyt Venäjän tiedeakatemian järjestelmäohjelmoinnin instituutissa ; Vuodesta 2015 lähtien hän on toiminut instituutin johtajana.

Tammikuussa 2016 hänet valittiin Venäjän tiedeakatemian professoriksi [2] ; lokakuussa 2016 - Venäjän tiedeakatemian kirjeenvaihtajajäsen [3] ; marraskuussa 2019 - Venäjän tiedeakatemian akateemikko [4] .

1. syyskuuta 2017 lähtien - Moskovan valtionyliopiston laskennallisen matematiikan ja kybernetiikan tiedekunnan järjestelmäohjelmointiosaston johtaja . Vuodesta 2017 - Venäjän federaation presidentin alaisen tiede- ja koulutusneuvoston jäsen . Hän johtaa opetustyötä Moskovan valtionyliopistossa , Moskovan fysiikan ja tekniikan instituutissa sekä kauppakorkeakoulussa järjestelmäohjelmoinnin laitosten päällikkönä , jossa hän luennoi kääntäjätekniikoista ja rinnakkaislaskennasta.

Lehtien " Programming " ja "Proceedings of ISP RAS" päätoimittaja ; ISP RAS:n tieteellisen neuvoston puheenjohtaja; ISP RAS -laboratorion johtaja, yhdessä Samsungin kanssa ; ISP RAS :n Nvidia Research Centerin johtaja ; Taizen-yhdistyksen hallituksen jäsen. RU.

Tieteellinen toiminta

Suorittaa tutkimustyötä ohjelmien analysoinnin ja optimoinnin, ohjelmistojen turvallisuuden (SW) sekä rinnakkais- ja hajautetun laskennan tekniikan aloilla. Yli 100 julkaisun kirjoittaja.

Hänen osallistumisellaan kehitettiin:

Ohjelmistoturvallisuuden alalla hän ehdotti matemaattisia menetelmiä ja algoritmeja staattiseen, dynaamiseen ja yhdistettyyn ohjelmistoanalyysiin, joilla ei ole analogeja Venäjällä ja jotka ratkaisevat tehokkaasti syvän ohjelmistoanalyysin ongelmat maailman parhaiden kaupallisten järjestelmien tasolla auditoimiseksi. se löytää tietoturva-aukkoja ja muita vikoja alkuperäisestä ja binäärikoodista. Suojatusta binäärikoodista on mahdollista muun muassa palauttaa algoritmeja ja löytää dokumentoimattomia ominaisuuksia. Lähdekoodin Svace staattisen analyysin järjestelmä ja suojatun binäärikoodin "Tral" yhdistetty analyysijärjestelmä luotiin, joita toteutetaan ja käytetään ratkaisemaan käytännön ohjelmistoturvallisuusongelmia useissa kotimaisissa ja ulkomaisissa organisaatioissa.

Hänen johdollaan koulutettiin 5 tieteiden kandidaattia.

Palkinnot

Huomautuksia

  1. Avetisyan Harutyun Ishkhanovich (VMK MSU) . en.cs.msu.ru. Haettu 16. lokakuuta 2017. Arkistoitu alkuperäisestä 17. syyskuuta 2017.
  2. Venäjän tiedeakatemian puheenjohtajiston päätökset "Venäjän tiedeakatemian professorin" arvonimen myöntämisestä (katso nro 13) . Haettu 17. lokakuuta 2017. Arkistoitu alkuperäisestä 22. marraskuuta 2016.
  3. Venäjän tiedeakatemian vaalit - 2016 . Haettu 17. lokakuuta 2017. Arkistoitu alkuperäisestä 14. marraskuuta 2016.
  4. Luettelo Venäjän tiedeakatemian jäsenkokouksen (marraskuu 2019) valitsemista akateemikoista , Venäjän tiedeakatemian portaali (  15.11.2019).
  5. Venäjän federaation presidentin asetus 6.5.2021 nro 340 ∙ Säädösten virallinen julkaisu ∙ Virallinen oikeudellisten tietojen Internet-portaali . Publication.pravo.gov.ru . Haettu 9. kesäkuuta 2021. Arkistoitu alkuperäisestä 7. kesäkuuta 2021.

Linkit