Член-корреспондент РАН
Отделение математических наук. Секция математики
Российский и советский учёный-математик. Главный научный сотрудник Отдела математической логики Математического института им. В. А. Стеклова РАН.
Награды и премии:
- Премия Неванлинны (1990) за «новый приближённый метод решения алгоритмических проблем»
- Премия Гёделя (2007) (совместно со Стивеном Рудичем) за работу о «естественных доказательствах».
- Заслуженный профессор (2008) факультета компьютерных наук им. Эндрю МакЛейша в Чикагском университете, США.
Страницы в интернете: