Основоположник вычислительной техники в СССР, директор ИТМиВТ, академик АН СССР (1953) и АН УССР (12.02.1945), Герой Социалистического Труда. Лауреат Сталинской премии третьей степени, Ленинской премии и Государственной премии СССР.

Русский математик, создатель неевклидовой геометрии, деятель университетского образования и народного просвещения.