АДЯН Сергей Иванович

Академик РАН

Профессор кафедры математической логики механико-математического факультета МГУ.

Автор теоремы о нераспознаваемости всех Марковских свойств, известной как теорема Адяна-Рабина. Ему принадлежат основные результаты по алгоритмическим проблемам для полугрупп с одним соотношением.