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