Կրթություն
Հաստատություն
Երևանի պետական համալսարան
Ֆակուլտետ
Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Տարեթիվ
-
Աստիճան/կոչում
Ասպիրանտ
Հաստատություն
Երևանի պետական համալսարան
Ֆակուլտետ
Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Տարեթիվ
-
Աստիճան/կոչում
Մագիստրոս
Հաստատություն
Երևանի պետական համալսարան
Ֆակուլտետ
Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Տարեթիվ
-
Աստիճան/կոչում
Բակալավր
Գիտական աստիճան/կոչում
Հաստատություն
Երևանի պետական համալսարան
Տարեթիվ
2011
Աստիճան/կոչում
Գիտությունների թեկնածու
Գիտական ղեկավար
Ս. Ա. Նիգիյան
Գիտական թեմա
Ֆունկցիոնալ ծրագրերի տիպային կոռեկտության մասին
Լեզուների իմացություն
English
Русский
Հայերեն
Աշխատանքային փորձ
Հաստատություն
Lightning Tools
Ժամանակահատված
Պաշտոն
Թիմի ղեկավար
Հաստատություն
ԵՊՀ
Ժամանակահատված
Պաշտոն
Ասիստենտ
Հաստատություն
«ԹոփՍոֆթ» լուծումների կենտրոն
Ժամանակահատված
-
Պաշտոն
Թիմի ղեկավար
Հաստատություն
«Կորնետ-ԱՄ» ՓԲԸ
Ժամանակահատված
-
Պաշտոն
Ծրագրավորող
Միջազգային կոնֆերանսների և սեմինարների մասնակցություն
-
CSIT 2015
ԵՊՀ
Հայաստան
-
CSIT 2009
ԵՊՀ
Հայաստան
-
CSIT 2007
ԵՊՀ
Հայաստան
Հրապարակումներ
ՈՒսումնական ձեռնարկ
Ծրագրավորում
2019
234
ՈՒսումնական ձեռնարկ
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
2016
268
Գիտաժողովի նյութ
Educational Process Management System
2015
366-367
Գիտաժողովի նյութ
Building and Execution of Queries for Educational Process Management System
2015
364-365
Հոդված
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
Հոդված
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
Հոդված
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
Գիտաժողովի նյութ
On Type Correctness of Polymorphic Functional Programs
2007
1-3
