Заведующий кафедрой математической логики и теории алгоритмов, академик РАН и РАО, профессор, доктор физико-математических наук.
Научные интересы: теория определимости, сложность, комбинаторика слов. Ключевой участник формирования современного содержания в школьной математике и подготовке учителей.
