Действительный член (2016), член-корреспондент (1997) РАН, доктор физико-математических наук (1982), профессор (1985). Математик. Специалист в области теории алгоритмов, теории моделей, алгебры и их приложений в информатике.

В Сибирском отделении с 1973 г.: стажер-исследователь, младший, старший научный сотрудник, зав. лабораторией (с 1985), зав. отделом математической логики (с 2003), директор (с 2012) Института математики СО АН СССР (ныне Институт математики им. С.Л. Соболева СО РАН). Преподаватель, декан механико-математического факультета (с 1996), зав. кафедрой дискретной математики и информатики (с 2003) Новосибирского государственного университета.