Beklemishev, Lev Dmitrievich
| Lev Dmitrievich Beklemishev | |
|---|---|
| Födelsedatum | 17 september 1967 (55 år) |
| Födelseort | Moskva |
| Land |
Sovjetunionen Ryssland |
| Vetenskaplig sfär | matte |
| Arbetsplats | Steklov Matematiska Institutet RAS |
| Alma mater | Mekhmat MGU |
| Akademisk examen | Doktor i fysikaliska och matematiska vetenskaper |
| Akademisk titel | Akademiker vid Ryska vetenskapsakademin ( 2019 ) |
| vetenskaplig rådgivare | Sergey Adyan [1] och Sergey Nikolaevich Artyomov [1] |
Lev Dmitrievich Beklemishev (född 17 september 1967 , Moskva ) är en rysk matematiker , doktor i fysikaliska och matematiska vetenskaper (1998), akademiker vid Ryska vetenskapsakademin (2019), specialist inom området matematisk logik .
Biografi
Född den 17 september 1967 i Moskva i familjen MIPT- lärarna D. V. Beklemisheva och L. A. Beklemisheva . Sonson till akademikerna A. I. Maltsev och V. N. Beklemishev .
1989 tog han examen från Institutionen för matematisk logik och teori för algoritmer vid fakulteten för mekanik och matematik vid Moskvas statliga universitet [2] .
1989-1992 studerade han på forskarutbildningen vid Matematiska Institutet. V. A. Steklovs vetenskapsakademi i Sovjetunionen (MIAN) [3] . 1992 försvarade han sin doktorsavhandling på ämnet: "Klassificering av propositionella bevisbarhetslogiker". 1998 disputerade han på sin doktorsavhandling på ämnet: "Reflection schemes in formal aritmetic".
Sedan 1992 har han varit medlem i MIAN [3] .
2000-2005 arbetade han vid universitetet i Utrecht . Sedan 2004 - Professor vid Institutionen för matematisk logik och teori om algoritmer, Moskvas statliga universitet [2] .
Från och med 2018 undervisar biträdande forskningsdirektör och chefsforskare vid Moscow Institute of Science samtidigt i matematik på:
- Matematiska fakulteten, National Research University Higher School of Economics [3] ;
- Institutionen för matematisk logik och teori om algoritmer, fakulteten för mekanik och matematik, Moskvas statliga universitet.
| Beklemishev, Lev Dmitrievich - förfäder | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Utmärkelser och priser
- 1994 - vinnare av Moscow Mathematical Society -priset för unga forskare för arbetet "On the classification of propositional provability logics".
- 1998 - Vinnare av Humboldt-stipendiet .
Medlemskap i organisationer
- Medlem av European Committee of Association for Symbolic Logic (ASL).
- 2006 - Motsvarande ledamot av Ryska vetenskapsakademin vid institutionen för matematiska vetenskaper .
Anteckningar
- ↑ 1 2 Matematisk genealogi (engelska) - 1997.
- ↑ 1 2 Annals of Moscow State University: Lev Dmitrievich Beklemishev .
- ↑ 1 2 3 HSE-webbplats: Lev Dmitrievich Beklemishev .
Länkar
- Profil av Lev Dmitrievich Beklemishev på den officiella webbplatsen för den ryska vetenskapsakademin
- Sida på MIAN- webbplatsen .
- Lev Dmitrievich Beklemishev . NRU HSE . Tillträdesdatum: 16 november 2020.
- Lev Dmitrievich Beklemishev . Krönika från Moscow State University . Tillträdesdatum: 16 november 2020.
 Tematiska platser | ||||
|---|---|---|---|---|
| ||||