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

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Дмитрий Владимирович Беклемишев
Дата рождения 17 сентября 1967(1967-09-17) (50 лет)
Страна Flag of the Soviet Union.svg СССР
Flag of Russia.svg Россия
Научная сфера математика
Место работы Математический институт имени В. А. Стеклова РАН
Альма-матер МГУ
Учёная степень доктор физико-математических наук
Учёное звание член-корреспондент РАН (2006)
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), член-корреспондент РАН (2006), специалист в области математической логики.

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

В 2000—2005 году работал в Утрехтском университете. По состоянию на 2018 год — заместитель директора по научной работе и главный научный сотрудник МИАН, преподаёт математику на факультете математики НИУ ВШЭ и кафедре математической логики и теории алгоритмов механико-математического факультета МГУ.

Сын преподавателя МФТИ Дмитрия Беклемишева.

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