Российский ученый, специалист в области теории алгоритмов, теории моделей, алгебры и их приложений в информатике, директор Института математики им. С.Л.Соболева Сибирского отделения РАН, доктор физико-математических наук, профессор, действительный член (академик) РАН (2016), заслуженный работник высшей школы Российской Федерации (2008), лауреат премии Правительства Российской Федерации (2010).
