|
Membership: | Corresponding Member |
Education
Graduated from Yerevan Polytechnic Institute (1963), Doc. of Math. and Phys. Sciences (1999), Prof. (2003), corr. member of NAS of RA (2010) Positions
Head of laboratory of "Theory of algorythms and automat synthesis of programs" of IIAP of NAS RA, SYNOPSYS ARMENIA CJSC Membership of other Organizations
Member of Russian Academy of Natural Sciences (AB), professional member of Association for Computing Machinery, affiliated member of American Mathematical Society |