Советский и российский математик, исследователь Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН, академик РАН, доктор физико-математических наук. Внес существенный вклад в теорию вычислимости, завершив решение десятой проблемы Гильберта.