Действительный член РАН (1991), директор Института дискретной математики и информатики СО РАН; родился 1 мая 1940 г. в г. Новосибирске; окончил Новосибирский государственный университет в 1963 г.; главные направления научной деятельности -- математическая логика и алгебра, общая теория нумераций; был ректором Новосибирского университета; награжден орденом `За заслуги перед Отечеством` IV степени (2000); женат, имеет троих детей.