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