• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
(495) 772-95-90 * 22668
SPIN-RSCI: 3644-3790
ORCID: 0000-0003-0025-0133
ResearcherID: P-2607-2016
Scopus AuthorID: 54914981600
Google Scholar
S. Kuznetsov
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.

Stepan Kuznetsov

  • Stepan Kuznetsov has been at HSE University since 2016.

Education and Degrees

  • 2012

    Candidate of Sciences* (PhD) in Mathematical Logic, Algebra, and Number Theory
    Thesis Title: Categorial grammars based on variants of the Lambek calculus

  • 2009

    Degree in Mathematics
    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.

Courses (2019/2020)

Courses (2017/2018)



  • 2018
    9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Presentation: A logical framework with commutative and non-commutative subexponentials
  • 2016
    Symposium on Logical Foundations of Computer Science (LFCS 2016) (Дирфилд-Бич). Presentation: On Lambek's restriction in the presence of exponential modalities
  • The 21st Conference on Formal Grammar (Больцано). Presentation: Undecidability of the Lambek calculus with a relevant modality

Employment history

Steklov Mathematical Institute, RAS: senior scientific researcher, Department of Math. Logic, since November 2018; scientific researcher, ibid., 2013-2018

Lomonosov Moscow State University, Faculty of Mathematics and Mechanics, Department of Math. Logic and Theory of Algorithms: assistant professor (part-time), since May 2012

Timetable for today

Full timetable