Beklemisev, Lev Dmitrievich
| Lev Dmitrievich Beklemisev | |
|---|---|
| Születési dátum | 1967. szeptember 17. (55 évesen) |
| Születési hely | Moszkva |
| Ország |
Szovjetunió Oroszország |
| Tudományos szféra | matematika |
| Munkavégzés helye | Steklov Matematikai Intézet RAS |
| alma Mater | Mekhmat MGU |
| Akadémiai fokozat | a fizikai és matematikai tudományok doktora |
| Akadémiai cím | Az Orosz Tudományos Akadémia akadémikusa ( 2019 ) |
| tudományos tanácsadója | Szergej Adjan [1] és Szergej Nyikolajevics Artyomov [1] |
Lev Dmitrievich Beklemisev (született : 1967. szeptember 17., Moszkva ) orosz matematikus , a fizikai és matematikai tudományok doktora (1998), az Orosz Tudományos Akadémia akadémikusa (2019), a matematikai logika szakértője .
Életrajz
1967. szeptember 17-én született Moszkvában, D. V. Beklemisheva és L. A. Beklemisheva MIPT tanárok családjában . A. I. Maltsev és V. N. Beklemisev akadémikusok unokája .
1989-ben diplomázott a Moszkvai Állami Egyetem Mechanikai és Matematikai Karának Matematikai Logika és Algoritmuselmélet Tanszékén [2] .
1989-1992-ben a Matematikai Intézet posztgraduális képzésében tanult. V. A. Steklov Szovjetunió Tudományos Akadémia (MIAN) [3] . 1992-ben védte meg Ph.D. disszertációját "A propozíciós bizonyíthatósági logikák osztályozása" témában. 1998-ban védte meg doktori disszertációját "Reflexiós sémák a formális aritmetikában" témában.
1992 óta a MIAN tagja [3] .
2000-2005 között az Utrechti Egyetemen dolgozott . 2004 óta - a Moszkvai Állami Egyetem Matematikai Logika és Algoritmuselmélet Tanszékének professzora [2] .
2018-tól a Moszkvai Tudományos Intézet kutatási igazgatóhelyettese és főkutatója egyidejűleg matematikát tanít az alábbi helyeken:
- Nemzeti Kutatóegyetem Közgazdaságtudományi Felsőfokú Matematikai Kar [3] ;
- Matematikai Logika és Algoritmuselmélet Tanszék, Mechanikai és Matematikai Kar, Moszkvai Állami Egyetem.
| Beklemisev, Lev Dmitrievich - ősök | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Díjak és díjak
- 1994 - a Moszkvai Matematikai Társaság fiatal tudósok díjának nyertese "A propozíciós bizonyíthatósági logikák osztályozásáról" című munkáért.
- 1998 - Humboldt-ösztöndíj nyertese .
Szervezeti tagság
- A Szimbolikus Logikai Szövetség (ASL) Európai Bizottságának tagja.
- 2006 – az Orosz Tudományos Akadémia Matematikai Tudományok Osztályának levelező tagja .
Jegyzetek
- ↑ 1 2 Matematikai genealógia (angol) - 1997.
- ↑ 1 2 A Moszkvai Állami Egyetem Évkönyve: Lev Dmitrievich Beklemisev .
- ↑ 1 2 3 A HSE honlapja: Lev Dmitrievich Beklemishev .
Linkek
- Lev Dmitrievich Beklemishev profilja az Orosz Tudományos Akadémia hivatalos honlapján
- Oldal a MIAN honlapján .
- Lev Dmitrievich Beklemisev . NRU HSE . Hozzáférés időpontja: 2020. november 16.
- Lev Dmitrievich Beklemisev . A Moszkvai Állami Egyetem krónikája . Hozzáférés időpontja: 2020. november 16.
 Tematikus oldalak | ||||
|---|---|---|---|---|
| ||||