# Lev Beklemishev

## Steklov Mathematical Institute of Russian Academy of Sciences in Moscow

### external web page

Lev Dmitrievich Beklemishev graduated from Moscow State University in 1989, got Ph.D. from Steklov Mathematical Institute of Russian Academy of Sciences in 1992, a D.Sci. degree in 1998. He is the winner of the Moscow Mathematical Society prize in 1994, A. von Humboldt Fellowship (Germany) in 1998. In 2000–2005 he was a faculty member of Utrecht University (the Netherlands). In 2006 L. Beklemishev was elected a corresponding member of Russian Academy of Sciences. Currently, he is a Chief Scientific Researcher at Steklov Institute Moscow, a Professor of Moscow University, a Yandex Professor of the Higher School of Economics, Moscow. His research interests include mathematical logic, proof theory, provability logic, modal logic, fragments of arithmetic.

Lev Beklemishev has 1 talk in our database: