Российский ученый, специалист в области теории и практики создания инструментальных систем программного обеспечения, доктор физико-математических наук, профессор, действительный член (академик) РАН (2003), лауреат премии Правительства Российской Федерации (2014).