Советский математик, член-корреспондент АН СССР (с 1972). Родился в Ленинграде. Окончил Московский университет (1955). С 1964 — профессор того же университета, с 1954 работает в институте прикладной математики АН СССР

Основные работы посвящены математической кибернетике и математической логике. Исследовал асимптотические закономерности сложных управляющих систем. Построил асимптотически наилучшие методы синтеза для основных классов управляющих систем (в частности, для контактных схем и схем из функциональных элементов). Разработал общий подход к построению асимптотически наилучших методов синтеза для специальных классов функций — принцип локального кодирования.

Ленинская премия (1966).