Советский математик, член-корреспондент АН СССР (с 1964). Родился в с. Колывань (ныне Новосибирской обл.). Окончил Ворошиловградский педагогический институт (1949). В 1953-1960 работал в Московском университете, с 1960 — в Институте математики СО АН СССР, одновременно — профессор Новосибирского университета.

Основные работы посвящены алгебре, математической логике, теории чисел, проективной геометрии. Исследовал теорию колец и во просы алгебры, пограничные с математической логикой. Разработал теорию колец, близких к ассоциативным (1953), теорию ассоциативных колец, теории альтернативных и йордлинных колец (1958). Доказал (1953), что любая подалгебра свободной лиевой алгебры сама свободна. Построил (1956) теорию йордановых алгебр с двумя порождающими, основным результатом которой является утверждение, что любая йорданова алгебра с двумя порождающими специальна. Доказал (1957) локальную ограниченность высот любой ассоциативной алгебры с тождеством. В теории алгоритмических проблем алгебры доказал (1962) алгоритмическую разрешимость проблемы равенства для алгебр Ли с одним соотношением. Один из создателей сибирской школы алгебры и логики.