Образование
Учреждение
Ереванский государственный университет
Факультет
Факультет информатики и прикладной математики
Дата
-
Степень / Звание
Аспирант
Учреждение
Ереванский государственный университет
Факультет
Факультет информатики и прикладной математики
Дата
-
Степень / Звание
Магистр
Учреждение
Ереванский государственный университет
Факультет
Факультет информатики и прикладной математики
Дата
-
Степень / Звание
Бакалавр
Ученое звание/Ученая степень
Учреждение
Ереванский государственный университет
Дата
2011
Степень / Звание
Кандидат наук
Научный руководитель
С. А. Нигиян
Научная тема
О типовой корректности функциональных программ
Знание языков
English
Русский
Հայերեն
Опыт работы
Учреждение
Lightning Tools
Период времени
Звание/степень
Ведущий программист
Учреждение
ЕГУ
Период времени
Звание/степень
Асистент
Учреждение
ТопСофт центр решений
Период времени
-
Звание/степень
Ведущий программист
Учреждение
КОРНЕТ-АМ ЗАО
Период времени
-
Звание/степень
Программист
Участие в международных конференциях и семинарах
-
СSIT 20015
ЕГУ
Армения
-
СSIT 2009
ЕГУ
Армения
-
СSIT 2007
ЕГУ
Армения
Публикации
Образовательный Руководство
Ծրագրավորում
2019
234
Образовательный Руководство
ԻՆԹԵԼ x86 ԱՍԵՄԲԼԵՐ (իրական ռեժիմ)
2016
268
Конференция
Educational Process Management System
2015
366-367
Конференция
Building and Execution of Queries for Educational Process Management System
2015
364-365
Статья
UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS
Статья
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 2
Статья
ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1
