Беклемишев Лев Дмитриевич

Академик РАН

Отделение математических наук. Секция математики.

Главный научный сотрудник Математического института им. В. А. Стеклова РАН. Отдел математической логики.

Член Европейского комитета Ассоциации символической логики (ASL) и Европейской ассоциации логики в информатике (EACSL), член экспертного совета ВАК.