Кузнецов Степан Львович

Education and Degrees

2024

Doctor of Sciences*
Steklov Mathematical Institute of the Russian Academy of Sciences

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.

* 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.

Professional Interests

Mathematical Logic and Formal Languages

Courses (2024/2025)

Discrete Mathematics for Application and Algorithm Development (Mago-Lego; 1 module)Eng
Past Courses

Timetable for today

Full timetable

Conferences

2024
30th Workshop on Logic, Language, Information, and Computation (WoLLIC 2024) (Берн). Presentation: Syntactic concept lattice models for infinitary action logic

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

Editorial board membership

2023: Member of the Editorial Board , Труды Математического института им. В.А. Стеклова РАН (Proceedings of the Steklov Institute of Mathematics).

Employment history

Steklov Mathematical Institute, RAS: leading scientific researcher, Department of Math. Logic, since August 2024; senior scientific researcher, ibid., 2018-2024; 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

8

Nov

2022

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.

28

Dec

2021

International Workshop Logic Matters (LM-2021)

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

Stepan Kuznetsov