Российский ученый, академик АН СССР (1953) и АН Украины (1945), Герой Социалистического Труда (1956). Директор Института точной механики и вычислительной техники АН СССР (1953-73). Основные труды по устойчивости энергосистем, вычислительной технике. Под руководством Лебедева созданы первая советская электронная ЦВМ – “МЭСМ”, ряд быстродействующих ЭВМ – “БЭСМ”. Ленинская премия (1966), Государственная премия СССР (1950, 1969)..