...доктор физико-математических наук, профессор, главный научный сотрудник и заведующий лабораторией «Конструирование и оптимизация программ» Института систем информатики СО РАН им. А.П. Ершова. Член-корреспондент РАЕН. Известный специалист в области теоретического и системного программирования, результаты работ которого воплощены в ряде инструментальных и прикладных программных систем, опубликованы почти в 300 научных трудах, в том числе 30 монографиях и учебных пособиях. Член редколлегий международных журналов и сборников, программных комитетов международных конференций, национальных и международных научных обществ. Победитель всех конкурсов грантов Президента РФ для выдающихся ученых.

:
...