• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7 (495) 772-95-90
Address: 6 Usacheva Ulitsa, room 417
ORCID: 0000-0001-7875-7765
ResearcherID: N-2056-2016
Scopus AuthorID: 16470280300
Google Scholar
Office hours
Friday 15:00-16:30
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.

Valentin B. Shehtman

  • Professor:Faculty of Mathematics / Joint Department with the Kharkevich Institute for Information Transmission Problems (RAS)
  • Valentin B. Shehtman has been at HSE University since 2010.

Education and Degrees

  • 2000

    Doctor of Sciences* in Mathematical Logic, Algebra and Number Theory

  • 1975

    Lenin Moscow State Teacher Training Institute

  • Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory

  • Doctoral programme
    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.

Research interests

Mathematical logic, with the emphasis to nonclassical logics, and their applications to universal algebra, topology and computer science

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Courses (2016/2017)

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

Editorial board membership

2012: Member of the Editorial Board, Logic Journal of the IGPL.


Timetable for today

Full timetable