Родился в Москве. Окончил Московский университет (1950 г.), аспирантуру там же. С 1953 г. работает в Институте прикладной математики АН СССР. Доктор физико-математических наук (1962 г.), профессор, член- корреспондент АН СССР (1968 г.).
Основные труды относятся к математической логике и электронно-вычислительным машинам. Еще в аспирантуре под руководством П. С. Новикова получил
существенные результаты в алгебре логики. Внес значительный вклад в теорию-управляющих систем. Окончательно решил проблему полноты для К-значной логики. Результаты этих исследований послужили основой для всего дальнейшего развития теории многозначных логик.
Важное значение имеет определенное им понятие инвариантного класса функций. Изучение инвариантных классов привело ученого к фундаментальному выводу о роли перебора, нахождёния экстремальных управляющих систем. Установил, что в некотором естественном классе построение последовательности «самых сложных» функций в алгебре логики связано с перебором всех функций. Построил общую теорию тестов для контроля работы управляющих систем и получил важные результаты по синтезу самокорректирующихся систем.
Член КПСС с 1953 г. За цикл работ по математической теории управляющих систем в 1966 г. присуждена Ленинская премия (совместно с Ю. И. Журавлевым и О. Б. Лупановым). Награжден орденом Трудового Красного Знамени.