Доктор физико-математических наук, профессор. Заслуженный деятель науки Российской Федерации, почетный профессор Московского физико-технического института. Награжден орденом Трудового Красного Знамени, медалью «За доблестный труд» и медалью «Ветеран труда». Окончил механико-математический факультет МГУ имени М. В. Ломоносова и там же аспирантуру. Ученик И. М. Гельфанда. В 1949 г. защитил кандидатскую диссертацию «Топологические инварианты римановых пространств и пространств аффинной связности», которую официальные оппоненты Л.С. Понтрягин и П.К. Рашевский оценили как выдающийся вклад в науку. С 1949 г. работал в Институте точной механики и вычислительной техники АН СССР (отдел приближенных вычислений). С 1955 г. — в Вычислительном центре АН СССР, с 1955 по 1991 г. заведующий отделом вычислительных методов. Участвовал в создании первой отечественной ЭВМ БЭСМ-1, в связи с чем в составе коллектива сотрудников ИТМиВТ во главе с С. А. Лебедевым был удостоен ордена Трудового Красного Знамени (1956 г.).