Ալգորիթմների տեսություն; Կոլմոգորովի բարդություններ; ծավալային բարդության տեսություն, ընդհանուր տեսքի ռեկուրսիվ հավասարումներ; ծրագրերի սինթեզ; նախագծման ավտոմատացում; աղմկոտ միջավայրում աղմկաձև, իրար հետ հատվող օբյեկտների առանձնացում`մեծ ճշտությամբ

Ավարտել է Երևանի պոլիտեխնիկական ինստիտուտը (1963թ), ֆ.մ.գ.դ. (1999թ), պրոֆ. (2003), ՀՀ ԳԱԱ թղթ. անդամ (2010թ.)

ՀՀ ԳԱԱ ԻԱՊԻ «Ալգորիթմների տեսության և ծրագրերի ավտոմատ սինթեզի» լաբորատորիայի վարիչ, SYNOPSYS ARMENIA CJSC

Ռուսատանի Բնական գիտությունների ակադեմիայի (ՀՄ) անդամ, Association for Computing Machinery մասնագիտական անդամ, American Mathematical Society աֆիլյանտ անդամ