Советский математик, член-корреспондент АН СССР (с 1968). Родился в Москве. Окончил Московский университет (1950). С 1953 работает в институте прикладной математики АН СССР, с 1963 — также профессор Московского университета.                                     Основные исследования посвящены математической логике и теории вычислительных машин. Разработал ряд методов, используемых при проектировании вычислительных устройств. Предложил методы синтеза оптимальных схем. Показал (1959), что при решении некоторых задач, связанных с синтезом систем, невозможно обойтись без полного перебора всех булевых функций заданного числа переменных. Решил ряд вопросов алгебры логики. Ленинская премия (1966).