Education
Institution
YSU
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
PhD student
Institution
YSU
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Masters
Institution
YSU
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Bachelor
Scientific Rank/degree
Institution
YSU
Date
2011
Degree name
Candidate
Specialty
Physico-mathematical sciences
Scientific Supervisor
Nigiyan S. A.
Research Topic
On Type Correctness of Functional Programs
Language skills
English
Русский
Հայերեն
Work experience
Institution
Lightning Tools
Period of time
Rank/degree
Lead Developer
Institution
YSU
Period of time
Rank/degree
Asistant Lecturer
Institution
TopSoft Solution Center
Period of time
-
Rank/degree
Lead Developer
Institution
Cornet-AM CJSC
Period of time
-
Rank/degree
Developer
Participation in international conferences and seminars
-
СSIT 2015
YSU
Armenia
-
СSIT 2009
YSU
Armenia
-
СSIT 2007
YSU
Armenia
Publications
Manual
Ծրագրավորում
2019
234
Manual
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
2016
268
Article
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
Conference
Educational Process Management System
Conference
Building and Execution of Queries for Educational Process Management System
Ematerial
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
Conference
On Type Correctness of Polymorphic Functional Programs
Conference
Type Inference System of Polymorphic λ-Terms
