Академик РАН, профессор, доктор физико-математических наук
Специальность ВАК : 01.01.10 Математическое обеспечение вычислительных машин и систем