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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Лев Дмитриевич Беклемишев
Дата рождения 17 сентября 1967(1967-09-17) (52 года)
Страна  СССР
 Россия
Научная сфера математика
Место работы Математический институт имени В. А. Стеклова РАН
Альма-матер МГУ
Учёная степень доктор физико-математических наук
Учёное звание академик РАН (2019)
Images.png Внешние изображения
Image-silk.png XII Летняя школа «Современная математика » (Дубна, 19–30 июля 2012) 2-Bekl-1.JPG
Image-silk.png XII Летняя школа «Современная математика » (Дубна, 19–30 июля 2012) 2-Bekl.jpg
Image-silk.png XII Летняя школа «Современная математика » (Дубна, 19–30 июля 2012) 2-VVA-LBD.JPG

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

Биография[править | править код]

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

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

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

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

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

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

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

Награды и премии[править | править код]

Членство в организациях[править | править код]

Примечания[править | править код]

Ссылки[править | править код]