Education
Institution
91视频
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
PhD student
Institution
91视频
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Masters
Institution
91视频
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Bachelor
Scientific Rank/degree
Institution
91视频
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
91视频
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
91视频
Armenia
-
小SIT 2009
91视频
Armenia
-
小SIT 2007
91视频
Armenia
Publications
Manual
跃謤铡眨謤铡站崭謤崭謧沾
2019
234
Manual
曰諉怨缘约 x86 员諐缘談圆约缘諓 (斋謤铡寨铡斩 占榨摘斋沾)
2016
268
Article
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
2011
28 - 35
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC 位-TERMS. 2
2010
37-46
Article
ON THE TYPE CORRECTNESS OF POLYMORPHIC 位-TERMS. 1
2009
42-51
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