Закончил МГУ и аспирантуру там же (1948). Ученик А.Н. Колмогорова. Кандидат физико-математических наук, тема диссертации "Спектральный анализ кольца граничных линейных операторов". По распределению преподавал в ХабИИЖТе. Через три года возвратился в Москву.
Публично выступал в защиту А.С. Есенина-Вольпина.
Вместе с Е. М. Ландисом в 1962 изобрёл структуру данных, получившую название АВЛ-дерево.
С 1957 занимался проблемами искусственного интеллекта, в 1965 руководил разработкой компьютерной шахматной программы в Институте теоретической и экспериментальной физики, которая победила американскую программу Kotok-McCarthy на первом шахматном матче между компьютерными программами; впоследствии на её основе была создана программа «Каисса», в 1974 ставшая первым компьютерным чемпионом мира по шахматам на чемпионате в Стокгольме.
Посетил Университет Уотерлу с Михаилом Донским. Проживал в городе Ашдод, Израиль.