Образование
Учреждение
ЕГУ
Факультет
Факультет информатики и прикладной математики
Дата
-
Степень / Звание
Аспирант
Учреждение
ЕГУ
Факультет
Факультет информатики и прикладной математики
Дата
-
Степень / Звание
Магистр
Учреждение
ЕГУ
Факультет
Факультет информатики и прикладной математики
Дата
-
Степень / Звание
Бакалавр
Ученое звание/Ученая степень
Учреждение
ЕГУ
Дата
2011
Степень / Звание
Кандидат наук
Специальность
Физико-математические науки
Научный руководитель
С. А. Нигиян
Научная тема
О типовой корректности функциональных программ
Знание языков
English
Русский
Հայերեն
Опыт работы
Учреждение
Lightning Tools
Период времени
Звание/степень
Ведущий программист
Учреждение
ЕГУ
Период времени
Звание/степень
Асистент
Учреждение
ТопСофт центр решений
Период времени
-
Звание/степень
Ведущий программист
Учреждение
КОРНЕТ-АМ ЗАО
Период времени
-
Звание/степень
Программист
Участие в международных конференциях и семинарах
-
СSIT 20015
ЕГУ
Армения
-
СSIT 2009
ЕГУ
Армения
-
СSIT 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