Советский математик, член-корреспондент АН СССР (с 1970). Родился в Новосибирске. Окончил Новосибирский университет (1963). С 1963 работает в институте математики СО АН СССР, с 1967—также профессор Новосибирского университета.

Основные работы относятся к теории чисел, теории алгоритмов и моделей. Развил идеи А. И. Мальцева в области проблемы разрешимости, доказал (1964) неразрешимость теории конечных симметрических групп и различных классов матричных групп. Получил результаты в теории иерархий.