Основной источник: Родился 19 марта 1971 года в с. Верхняя Эшера Сухумского района Абхазской АССР.ОбразованиеВ 1993 году с отличием окончил факультет прикладной математики Ереванского государственного университета.Научная степеньв 2001 году — защитил кандидатскую диссертацию;в 2012 году — защитил докторскую диссертацию.Научное званиев январе 2016 года — избран профессором РАН;в октябре 2016 года — членом-корреспондентом РАН.РаботаС 2002 года — работает в Институте системного программирования РАН;С 2015 года — директор Институте системного программирования РАН;С 1 сентября 2017 года — заведующий кафедрой системного программирования факультета вычислительной математики и кибернетики МГУ;С 2017 года — член Совета по науке и образованию при Президенте РФ.