• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
+7 (495) 772-95-90
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room S901
SPIN-RSCI: 3644-3790
ORCID: 0000-0003-0025-0133
ResearcherID: P-2607-2016
Scopus AuthorID: 54914981600
Google Scholar
Королев М. А.
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 (2023/2024)

Courses (2021/2022)

Courses (2020/2021)

Courses (2019/2020)

Courses (2018/2019)

Courses (2017/2018)

Introductory Research Seminar (Bachelor’s programme; Faculty of Computer Science; 2 year, 3 module)Eng



  • 2019
    WoLLIC 2019 (Утрехт). Presentation: The complexity of multiplicative-additive Lambek calculus: 25 years later
  • 2018

    9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Presentation: A logical framework with commutative and non-commutative subexponentials

  • Formal Grammar 2018 (София). Presentation: A logical framework with commutative and non-commutative subexponentials
  • 2017
    Fundamentals of Computation Theory (FCT 2017) https://fct2017.labri.fr/ (Бордо). Presentation: A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
  • 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

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.

International Workshop Logic Matters (LM-2021)

On December 28, 2021, an international Logic Matters seminar was held.