• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7(495) 772-9590 *15304
E-mail:
Address: Usacheva str. 6, room 417
Timetable
Download CV (PDF, 75 Kb)
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
V. Timorin
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Lev D. Beklemishev

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

Education, Degrees and Academic Titles

  • 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

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2018/2019)

Courses (2017/2018)

Courses (2015/2016)

Courses (2014/2015)

Courses (2013/2014)

Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics; 1 year, 1, 2 module)Rus

Courses (2012/2013)

Editorial board membership

  • 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)


Publications30

Timetable for today

Full timetable

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.