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

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

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