Editor, nsBadRO, nsBadRW, nsDraftRO, nsDraftRW, reviewer
43 547
правок
Изменения
Нет описания правки
| дата смерти =
| место смерти =
| краткая информация = Доктор физико-математических наук. Действительный член РАЕНСпециалист в области математической логики и информатики
| тэг01 = Доктор физико-математических наук
| тэг02 = Действительный член РАЕН
| тэг03 = профессор
| тэг04 = член-корр. корреспондент НАН РА
| тэг05 =
}}
Кандидат физико-математических наук (1971). Доктор физико-математических наук (1999).
Область научных интересов:математическая логика, теория рекурсии, теория сложности;степени алгоритмической неразрешимости, теория вероятностных автоматов, Булев синтез, автоматический анализ и синтез алгоритмов и программ, автоматический синтез и оптимизация компьютерных программ.
Подготовил 8 кандидатов наук. Разработал и читал широкий спектр спецкурсов по математической логике, теории рекурсии, теории сложности алгоритмов (в ЕрГУ, Арм.Инж.университете, Ирутском ГУ, Датском Техническом университете, Университетах Копенгагена и Оркса, Институте теоретической физики и математики Ирана).
Зав. лаб. “Теория алгоритмов и автоматического ситеза програм” синтеза программ” в ИАПИ НАН РА, SYNOPSYS ARMENIA CJSC.
==Членство в научных обществах и организациях==
*Член Компьютерной ассоциации (1990), [[Армянского математического общества]]
