Scientific interests
- Functional Programming
- Lambda calculus
- Theory of Algorithms
- Database
- Data science
Education
Institution
Lomonosov Moscow State University
Faculty
The Faculty of Computational Mathematics and Cybernetics of Moscow State University
Date
-
Degree name
Applicant
Institution
Yerevan State Univesity
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
PhD student
Institution
Yerevan State Univesity
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Qualified specialist
Scientific Rank/degree
Institution
Lomonosov Moscow State University
Date
2006
Degree name
Candidate
Specialty
Physico-mathematical sciences
Scientific Supervisor
Nigiyan Semyon Alexander
Research Topic
ON THE INTERPRETATION OF STRON TYPED FUNCTIONAL PROGRAMS
Language skills
袪褍褋褋泻懈泄
English
Work experience
Institution
91视频
Period of time
Rank/degree
assistant
Institution
91视频
Period of time
-
Rank/degree
Lecturer
Participation in international conferences and seminars
-
Scientific session of the Union of Armenian Mathematicians and the Institute of Mathematics of the National Academy of Sciences of the Republic of Armenia dedicated to Artashes Shahinyan's 90th birthday
Union of Armenian Mathematicians and the Institute of Mathematics of the National Academy of Sciences of the Republic of Armenia
Armenia
Publications
Article
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF 尾未-NORMAL FORM OF TYPED 位-TERMS FOR THE CANONICAL NOTION OF 未-REDUCTION
2019
28鈥36
Article
袨斜 邪谢谐芯褉懈褌屑邪褏 懈薪褌械褉锌褉械褌邪褑懈懈 褋褌褉芯谐芯 褌懈锌懈蟹懈褉芯胁邪薪薪褘褏 褎褍薪泻褑懈芯薪邪谢褜薪褘褏 锌褉芯谐褉邪屑屑.
小斜芯褉薪懈泻 薪邪褍褔薪褘褏 褋褌邪褌械泄. 袚芯写懈褔薪邪褟 薪邪褍褔薪邪褟 泻芯薪褎械褉械薪褑懈褟 (3 鈥 7 写械泻邪斜褉褟 2007 谐.). 肖懈蟹懈泻芯-屑邪褌械屑邪褌懈褔械褋泻懈械 懈 械褋褌械褋褌胁械薪薪褘械 薪邪褍泻懈.
2008
172-179
Manual
跃謤铡眨謤铡站崭謤沾铡斩 謫崭謧斩寨謥斋崭斩铡宅 瞻铡沾铡寨铡謤眨榨謤
2006
60
Article
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
2005
16-19
Article
袨 褎芯褉屑邪谢懈蟹邪褑懈懈 锌芯薪褟褌懈褟 未-褉械写褍泻褑懈懈 胁 屑芯薪芯褌芯薪薪褘褏 屑芯写械谢褟褏 褌懈锌芯胁芯谐芯 位-懈褋褔懈褋谢械薪懈褟.
2003
27-36
Article
On 未-Reduction in monotonic models of typed 位-calculus.
2003
65-67
Article
Formalizing the notion of 未-reduction in monotonic models of typed 位-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Article
袩褉邪胁懈谢邪 胁褘褔懈褋谢械薪懈褟 谐谢邪胁薪芯泄 褎褍薪泻褑懈懈 薪邪懈屑械薪褜褕械谐芯 褉械褕械薪懈褟 写谢褟 芯写薪芯谐芯 泻谢邪褋褋邪 褋懈褋褌械屑 褉械泻褍褉褋懈胁薪褘褏 褍褉邪胁薪械薪懈泄.
1999
197-203
Article
On execution of functional programs.
1999
33-35