Научные интересы
- Функциональное программирование
- Лямбда исчисление
- Теория алгоритмов
- Базы данных
- Наука о данных
Образование
Учреждение
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М. В. ЛОМОНОСОВА
Факультет
Факультет вычислительной математики и кибернетики
Дата
-
Степень / Звание
Соискатель
Учреждение
Ереванское государственное университет
Факультет
Информатика и прикладная математика
Дата
-
Степень / Звание
Аспирант
Учреждение
Ереванское государственное университет
Факультет
Информатика и прикладная математика
Дата
-
Степень / Звание
Квалифицированный специалист
Ученое звание/Ученая степень
Учреждение
МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ им. М. В. ЛОМОНОСОВА
Дата
2006
Степень / Звание
Кандидат наук
Специальность
Физико-математические науки
Научный руководитель
Нигиян Семен Александрович
Научная тема
ОБ ИНТЕРПРЕТАЦИИ СТРОГО ТИПИЗИРОВАННЫХ ФУНКЦИОНАЛЬНЫХ ПРОГРАММ
Знание языков
Русский
English
Опыт работы
Учреждение
ЕГУ
Период времени
Звание/степень
Ассистент
Учреждение
ЕГУ
Период времени
-
Звание/степень
Преподаватель
Участие в международных конференциях и семинарах
-
Научная сессия Союза армянских математиков и Института математики Национальной академии наук Республики Армения, посвященная 90-летию Арташеса Шагиняна
Союза армянских математиков и Института математики Национальной академии наук Республики Армения
Армения
Публикации
Статья
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
Статья
Об алгоритмах интерпретации строго типизированных функциональных программ.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
Образовательный Руководство
Ծրագրավորման ֆունկցիոնալ համակարգեր
2006
60
Статья
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
Статья
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Статья
On δ-Reduction in monotonic models of typed λ-calculus.
Статья
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Статья
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
Статья
On execution of functional programs.
