Виртуальный музей А.А. Ляпунова

Окончил Московский университет (1950), с 1963 профессор там же. С 1953 работает в Институте прикладной математики АН СССР, чл. редколлегии «Математической энциклопедии».

Специалист в области дискретной математики и математических вопросов кибернетики. Основные труды но теории управляющих систем, исследованию функциональных систем с операциями, вопросам контроля и надёжности управляющих систем, изучению алгоритмических трудностей синтеза управляющих систем.

Ленинская премия (1966). Награждён орденом Трудового Красного Знамени (1974), орденом Отечественной войны 2-й степени (1945), 2 орденами Красной Звезды (1944, 1945), орденом Славы 3-й степени (1944).