Математик, академик АН СССР (1964) и АН УССР (1961).
Организатор и первый директор Института кибернетики АН УССР (с 1962). Основные труды по теоритической и прикладной кибернетике: теория цифровых автоматов, автоматизация проектирования ЭВМ, применение кибернетических методов в народном хозяйстве.
Герой Социалистического Труда (1969), Ленинская премия (1964), Государственная премия СССР (1968, 1977).