Советский математик, академик АН КазССР (с 1962). Родился в Урдине (ныне Уральской обл.). Окончил Уральский педагогический институт (1936). Работает в институте математики СО АН СССР и в Новосибирском университете.

Основные направления исследований — математическая логика, теория топологических пространств. Разрабатывал теорию открытых и замкнутых отображений. Решил (1949—1952) проблему мощности для множества всех квазикомпонент любого А-множества. Работал в области теории алгоритмов. Дал общее решение проблемы установления признаков, характеризующих аксиоматизируемые классы моделей в теоретико- множественных терминах. Им получены результаты в области аксиоматизированных функций, топологических алгебр и теории непрерывных отображений.