• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7 (495) 772-95-90
15304
Address: 6 Usacheva Ulitsa, room 417
Timetable
SPIN-RSCI: 5794-2502
ORCID: 0000-0002-2949-0600
ResearcherID: F-7814-2013
Scopus AuthorID: 6602096489
Google Scholar
Office hours
Tuesday 16:50-17:30 Friday 16:30-17:30
Supervisor
A. Skripchenko
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Lev D. Beklemishev

  • Lev D. Beklemishev has been at HSE University since 2011.

Education, Degrees and Academic Titles

  • 2019
    Member of the Russian Academy of Sciences
  • 2006
    Corresponding Member of the Russian Academy of Sciences
  • 1998

    Doctor of Sciences*

  • 1992

    Candidate of Sciences* (PhD)

  • 1989

    Degree
    Lomonosov Moscow State University

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.

Yandex professor

Research interests

Mathematical logic, proof theory, formal arithmetic, provability logic,  modal logic

Awards and Accomplishments

Courses (2023/2024)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Editorial board membership

  • 2020: Member of the Editorial Board, Journal of Symbolic Logic.

  • 2008: Member of the Editorial Board, Archive for Mathematical Logic.

  • 2008: Member of the Editorial Board, Известия Российской академии наук. Серия математическая.

Conferences

  • 2017

    Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Presentation: Reflection calculus and conservativity spectra

  • Workshop on Logic, Language, Information and Computation (Лондон). Presentation: On the Reflection Calculus with Partial Conservativity Operators

  • Mathematical Logic: Proof Theory and Constructive Mathematics. Oberwolfach workshop (Oberwolfach). Presentation: "On provable 1-provability" (joint work with E. Kolmakov)


Publications41

Timetable for today

Full timetable

Formal Philosophy 2022

On 31 October – 3 November 2022 , the International Conference "Formal Philosophy – 2022" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.

‘A Good Thing about Mathematical Thinking Is That It Knocks Some Sense into Your Brain’

HSE University maintains active cooperation with the Academy of Science institutes, which open joint departments at the university and provide their best experts for teaching and research. HSE News Service talked to Deputy Directors of the RAS Steklov Mathematical Institute (MIRAS) — RAS member Lev Beklemishev andSergey Gorchinskiy — about the development of mathematics in the modern world, career opportunities for graduates in mathematics, and the specifics of researchers’ work with students.

First International Recipient of DSc Degree in Mathematics From HSE University

Edmond W.H. Lee, a full professor at the Department of Mathematics, Nova Southeastern University, USA, has recently defended his Doctor of Sciences (DSc) thesis at the Dissertation Council in Mathematics, HSE University. The DSc in Russia is a higher doctoral degree that can be earned after the PhD. Professor Lee’s defence was held over Zoom, with the candidate and his dissertation committee members participating remotely from 5 cities in Brazil, Israel, Russia, and the USA. Lee became the first international recipient of a DSc degree in Mathematics from HSE University.

Eight HSE Faculty Members Elected Full and Corresponding Members to the Russian Academy of Sciences

After holding elections at a general meeting on November 14-15, the Russian Academy of Sciences (RAS) has announced its new full and corresponding members. Among those announced, eight new appointees are HSE faculty members.

HSE University Brings Major Conference in Philosophical Logic to Russia for the First Time

On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for Logic, Linguistics and Formal Philosophy.

13th International Conference on Concept Lattices and Their Applications 

On July 18-22 the 13th International Conference on Concept Lattices and Their Applications was held at HSE. The conference has been organized since 2002. This year it was held in Russia for the first time. The event was organized by the International Laboratory for Intelligent Systems and Structural Analysis and the  School of Data Analysis and Artificial Intelligence of HSE Faculty of Computer Science.

10th International Computer Science Symposium in Russia

On July 13th-17th 2015, the 10th International Computer Science Symposium in Russia took place. The largest conference on theoretical informatics in Russia was organized by Irkutsk State University, the Higher School of Economics and Yandex. Vladimir Podolskii, Associate Professor at the Big Data and Information Retrieval School took part in the event as guest speaker. Maxim Babenko, Head of the Joint Department with Yandex also delivered a report during the event.