Академик РАН
Отделение математических наук. Секция математики.
Главный научный сотрудник Математического института им. В. А. Стеклова РАН. Отдел математической логики.
Член Европейского комитета Ассоциации символической логики (ASL) и Европейской ассоциации логики в информатике (EACSL), член экспертного совета ВАК.
Страницы в интернете: