Մաթեմատիկական տրամաբանություն, ալգորիթմների տեսություն, մաթեմատիկական կիբեռնետիկա

Ավարտել է ԼՊՀ (1954թ.), ֆ.մ.գ.դ. (1988թ.), պրոֆ. (1992թ.), թղթ. անդ. (2000թ.)

ԵՊՀ դասախոս, դոց., պրոֆ. (1961թ.-ից), ՀՀ ԳԱԱ ԻԱՊԻ-ի բաժնի վարիչ (1961թ-ից)

Հայ փիլիսոփայական ակադեմիայի անդամ