Education
Institution
Yerevan State University
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
PhD student
Institution
Yerevan State University
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Masters
Institution
Yerevan State University
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Bachelor
Scientific Rank/degree
Institution
Yerevan State University
Date
2011
Degree name
Candidate
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
Study manual
Ծրագրավորում
2019
234
Study manual
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
2016
268
Conference
Educational Process Management System
2015
366-367
Conference
Building and Execution of Queries for Educational Process Management System
2015
364-365
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
