2
В 1961 г. окончил механико-математический факультет МГУ им. М. В. Ломоносова.
В 1968 г. защитил кандидатскую диссертацию.
В 1974 г. награждён золотой медалью IFIP — за победу шахматной программы «Каисса» в 1-м чемпионате мира среди компьютеров.
В 1988 г. защитил докторскую диссертацию.
В 1990 г. удостоен премии Совета Министров СССР за цикл работ по системам управления базами данных и их массовое внедрение (СУБД ИНЕС)
В 2003 г. избран членом-корреспондентом РАН по Отделению информационных технологий и вычислительных систем.
В 2007 г. избран членом Европейской академии наук (EAS).
В 1991—2008 гг. основатель и генеральный директор компании Cognitive Technologies («Интеллектуальные технологии»).
С 2016 г. директор по науке компании Smart Engines
