Член-корреспондент АН СССР (1964), доктор физико-математических наук (1950), профессор (1950). Математик. Специалист в области теории множеств, кибернетики и программирования.

В Сибирском отделении с 1961 г.: зав. отделом математической логики и кибернетики Института математики СО АН СССР; зав. отделом теоретической кибернетики Института гидродинамики СО АН СССР (с 1970). Преподавал в Новосибирском государственном университете (с 1962), основатель и руководитель кафедры теоретической кибернетики.

Внес большой вклад в осмысление основ кибернетики, определение ее предмета и классификацию основных направлений. Сыграл ключевую роль в становлении кибернетики в стране.

Награжден государственными орденами и медалями.

Его именем названа улица в Новосибирском академгородке.