Steklov Mathematical Institute of Russian Academy of Sciences in Moscow
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: