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

Лев Дмитриевич Беклемишев
Дата рождения	17 сентября 1967(1967-09-17) (53 года)
Место рождения	Москва
Страна	СССР  Россия
Научная сфера	математика
Место работы	Математический институт имени В. А. Стеклова РАН
Альма-матер	мехмат МГУ
Учёная степень	доктор физико-математических наук
Учёное звание	академик РАН (2019)

Лев Дми́триевич Беклеми́шев (род. 17 сентября 1967, Москва) — российский математик, доктор физико-математических наук (1998), академик РАН (2019), специалист в области математической логики.

Биография

Родился 17 сентября 1967 года в Москве в семье преподавателей МФТИ Д. В. Беклемишева и Л. А. Беклемишевой.

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

В 1989—1992 годах учился в аспирантуре Математического института им. В. А. Стеклова АН СССР (МИАН). В 1992 году защитил кандидатскую диссертацию по теме: «Классификация пропозициональных логик доказуемости», в 1998 году — докторскую диссертацию по теме: «Схемы рефлексии в формальной арифметике».

С 1992 года — сотрудник МИАН.

В 2000—2005 году работал в Утрехтском университете.

По состоянию на 2018 год — заместитель директора по научной работе и главный научный сотрудник МИАН, преподаёт математику одновременно на:

• факультете математики НИУ ВШЭ
• кафедре математической логики и теории алгоритмов механико-математического факультета МГУ.

Награды и премии

• 1994 — лауреат премии Московского математического общества для молодых учёных за работу «О классификации пропозициональных логик доказуемости».
• 1998 — обладатель стипендии Гумбольдта.

Членство в организациях

• Член Европейского комитета Ассоциации символической логики (ASL).
• 2006 — член-корреспондент РАН по Отделению математических наук.

Ссылки

• Профиль Льва Дмитриевича Беклемишева на официальном сайте РАН
• Страница на сайте МИАН.
• Страница на сайте НИУ ВШЭ.