(1.V.1940).

Родился в Но­восибирске. Окончил Новосибирский университет (1963 г.). Доктор физико-математических наук (1966 г.)» профессор (1967 г.). Работает в Институте математики СО АН СССР, а также в Новосибирском университете. В 1970 г. избран членом-корреспондентом Академии наук СССР (самый молодой член-корреспондент в стране)..

Основные труды относятся к алгебре, теории чисел и математической логике (в частности, к теории алгорит­мов и теории моделей). Продолжая исследования своего учителя академика А. И. Мальцева, получил важные результаты в теории иерархий (иерархии Ершова), тео­рии степеней неразрешимости и теории нумерации. Член Международной Ассоциации по символической логике. Награжден орденом Трудового Красного Знамени.