Lev Dmitrievich Beklemishev (born September 17, 1967 ) is a Russian mathematician , doctor of physical and mathematical sciences (1998), corresponding member of the Russian Academy of Sciences (2006), a specialist in the field of mathematical logic .
| Lev Dmitrievich Beklemishev | |
|---|---|
| Date of Birth | September 17, 1967 (51 years old) |
| A country |  the USSR  Russia |
| Scientific field | maths |
| Place of work | Steklov Mathematical Institute, Russian Academy of Sciences |
| Alma mater | Moscow State University |
| Academic degree | |
| Academic rank | Corresponding Member of the Russian Academy of Sciences ( 2006 ) |
External Images
Content
Biography
Born September 17, 1967 in Moscow in the family of MIPT teacher D.V. Beklemishev .
In 1989 he graduated from the Department of Mathematical Logic and Algorithm Theory of the Mechanics and Mathematics Faculty of Moscow State University .
In 1989-1992 he studied at the graduate school of the Mathematical Institute. V.A. Steklov, Academy of Sciences of the USSR (Steklov Mathematical Institute). In 1992 he defended his thesis on the topic: “Classification of propositional logic of provability”, in 1998 - the doctoral thesis on the topic: “Reflection schemes in formal arithmetic”.
Since 1992 - an employee of the Steklov Mathematical Institute of RAS.
In 2000-2005, he worked at the University of Utrecht .
As of 2018 - Deputy Director for Research and Chief Scientific Officer of the Steklov Mathematical Institute, teaches mathematics at the same time:
- HSE Faculty of Mathematics
- Department of Mathematical Logic and Algorithm Theory of the Mechanics and Mathematics Faculty of Moscow State University.
Awards and Prizes
- 1994 - Laureate of the prize of the Moscow Mathematical Society for Young Scientists for the work "On the classification of propositional provability logics."
- 1998 - holder of a Humboldt scholarship .
Membership in organizations
- Member of the European Committee of the Association of Symbolic Logic (ASL).
- 2006 - Corresponding Member of the Russian Academy of Sciences in the Department of Mathematical Sciences .