|
Членство: | Член-корреспондент |
Образование
Окончил Ереванский политехнический институт (1963 г.), доктор физ-мат наук (1999г.), профессор (2003г.), член-корр. НАН РА (2010г.) Должности
Зав. лаб. "Теория алгоритмов и автоматического синтеза программ" в ИАПИ НАН РА, SYNOPSYS ARMENIA CJSC Членство в других организациях
Член Российской Академии естественных наук (АФ), Association for Computing Machinery – профессиональный член, American Mathematical Society – аффилированный член |