Член-корреспондент РАН, доктор физико-математических наук
Специальность ВАК : 01.01.06 Математическая логика, алгебра и теория чисел