Harutyun Ishkhanovich Avetisyan | |
---|---|
Syntymäaika | 19. maaliskuuta 1971 (51-vuotias) |
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 |
![]() |
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 .
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.
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.
![]() |
---|