(1.V.1940).
Родился в Новосибирске. Окончил Новосибирский университет (1963 г.). Доктор физико-математических наук (1966 г.)» профессор (1967 г.). Работает в Институте математики СО АН СССР, а также в Новосибирском университете. В 1970 г. избран членом-корреспондентом Академии наук СССР (самый молодой член-корреспондент в стране)..
Основные труды относятся к алгебре, теории чисел и математической логике (в частности, к теории алгоритмов и теории моделей). Продолжая исследования своего учителя академика А. И. Мальцева, получил важные результаты в теории иерархий (иерархии Ершова), теории степеней неразрешимости и теории нумерации. Член Международной Ассоциации по символической логике. Награжден орденом Трудового Красного Знамени.