Кузнецов Степан Львович
- Старший научный сотрудник:Факультет компьютерных наук / Международная лаборатория интеллектуальных систем и структурного анализа
- Доцент:Факультет компьютерных наук / Базовая кафедра Математического института им В.А. Стеклова РАН (МИАН)
- Начал работать в НИУ ВШЭ в 2016 году.
- Научно-педагогический стаж: 17 лет.
Образование, учёные степени
- 2024Доктор физико-математических наук: Математический институт им. В. А. Стеклова Российской академии наук
- 2012Кандидат физико-математических наук: специальность Математическая логика, алгебра и теория чисел, тема диссертации: Категориальные грамматики, основанные на вариантах исчисления Ламбека
- 2009
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «Математик»
Учебные курсы (2024/2025 уч. год)
- Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Discrete Mathematics for Application and Algorithm Development (Маго-лего; 1 модуль)Анг
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Discrete Mathematics for Application and Algorithm Development (Маго-лего; 1 модуль)Анг
Учебные курсы (2022/2023 уч. год)
- Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Discrete Mathematics for Application and Algorithm Development (Маго-лего; 1 модуль)Анг
Учебные курсы (2021/2022 уч. год)
- Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 3 модуль)Рус
Публикации27
- Глава книги Stepan L. Kuznetsov. Syntactic concept lattice models for infinitary action logic, in: Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, Proceedings Vol. 14672: Lecture Notes in Computer Science. Cham : Springer, 2024. doi P. 93-107. doi
- Статья Stepan L. Kuznetsov. Commutative action logic // Journal of Logic and Computation. 2023. Vol. 33. No. 6. P. 1437-1462. doi
- Глава книги Blaisdell E., Kanovich M., Stepan L. Kuznetsov, Pimentel E., Scedrov A. Explorations in subexponential non-associative non-commutative linear logic, in: EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, 2023. doi P. 4-19. doi
- Статья Kanovich M., Kuznetsov S., Scedrov A. Language models for some extensions of the Lambek calculus // Information and Computation. 2022. Vol. 287. Article 104760. doi
- Глава книги Blaisdell E., Kanovich M., Stepan L. Kuznetsov, Pimentel E., Scedrov A. Non-associative, non-commutative multi-modal linear logic, in: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings Vol. 13385. Cham : Springer, 2022. doi P. 449-467. doi
- Статья S. M. Dudakov, Karlov B. N., S. L. Kuznetsov, Fofanova E. M. COMPLEXITY OF LAMBEK CALCULI WITH MODALITIES AND OF TOTAL DERIVABILITY IN GRAMMARS / Пер. с рус. // Algebra and Logic. 2021. Vol. 60. No. 5. P. 308-326. doi
- Статья Kanovich M., Kuznetsov Stepan G., Kuznetsov S., Scedrov A. Decidable Fragments of Calculi Used in CatLog // Studies in Computational Intelligence. 2021. Vol. 999. P. 1-24. doi
- Статья Kanovich M., Kuznetsov S., Scedrov A. The multiplicative-additive Lambek calculus with subexponential and bracket modalities // Journal of Logic, Language and Information. 2021. Vol. 30. No. 1. P. 31-88. doi
- Глава книги Kuznetsov S. A \(\Pi^0_1\)-bounded fragment of infinitary action logic with exponential, in: Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / Ed. by V. Nigam, T. Ban Kirigin, C. Talcott, J. Guttman, S. Kuznetsov, B. T. Loo, M. Okada. Issue 12300. Cham : Springer, 2020. doi P. 3-16. doi
- Книга Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / Ed. by V. Nigam, T. Ban Kirigin, C. Talcott, J. Guttman, S. Kuznetsov, B. T. Loo, M. Okada. Issue 12300. Cham : Springer, 2020. doi
- Статья Kanovich M., Kuznetsov S., Scedrov A. Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities // Journal of Logic and Computation. 2020. Vol. 30. No. 1. P. 239-256. doi
- Глава книги Kanovich M., Kuznetsov S., Nigam V., Scedrov A. Soft subexponentials and multiplexing, in: Automated Reasoning, 10th International Joint Conference, IJCAR 2020, Part I Vol. 12166. Cham : Springer, 2020. doi P. 500-517. doi
- Глава книги Kanovich M., Kuznetsov S., Scedrov A. L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit, in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Vol. 11541: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2019. P. 373-391. doi
- Книга Kanovich M., Kuznetsov S., Scedrov A., Nigam V. Mathematical Structures in Computer Science Vol. 29. Issue 8. Cambridge University Press, 2019. doi
- Глава книги Kanovich M., Kuznetsov S., Nigam V., Scedrov A. Subexponentials in non-commutative linear logic, in: Mathematical Structures in Computer Science Vol. 29. Issue 8. Cambridge University Press, 2019. doi P. 1217-1249. doi
- Глава книги Kanovich M., Kuznetsov S., Scedrov A. The complexity of multiplicative-additive Lambek calculus: 25 years later, in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Vol. 11541: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2019. P. 356-372. doi
- Глава книги Kuznetsov S. The logic of action lattices is undecidable, in: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019). IEEE, 2019. Ch. 36. P. 1-9. doi
- Глава книги Kanovich M., Kuznetsov S., Scedrov A. Undecidability of a newly proposed calculus for CatLog3, in: Formal Grammar 2019, 24th International Conference Vol. 11668. Berlin : Springer, 2019. doi P. 67-83. doi
- Глава книги Kanovich M., Kuznetsov S., Nigam V., Scedrov A. A Logical Framework with Commutative and Non-commutative Subexponentials, in: 9TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING Issue 10900. Springer International Publishing AG, part of Springer Nature 2018, 2018. doi P. 228-245. doi
- Глава книги Kanovich M., Kuznetsov S., Nigam V., Scedrov A. A Logical Framework with Commutative and Non-commutative Subexponentials, in: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Springer, 2018. doi P. 228-245. doi
- Глава книги Kuznetsov S., Kanovich M., Scedrov A. Bracket Induction for Lambek Calculus with Bracket Modalities, in: International Conference on Formal Grammar FG 2018: Formal Grammar 2018. Netherlands : Springer, 2018. P. 84-101. doi
- Глава книги Kanovich M., Kuznetsov S., Morrill G., Scedrov A. A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order, in: Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017 Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). , 2017. P. 22:1-22:17. doi
- Глава книги Kanovich M., Scedrov A., Kuznetsov S. Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities, in: 21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017. Springer, 2017. doi P. 326-340. doi
- Статья Кузнецов С. Л. О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики // Труды Математического института им. В.А. Стеклова РАН. 2016. Т. 294. С. 141-151. doi
- Статья Кузнецов С. Л. О преобразовании контекстно-свободных грамматик в грамматики Ламбека // Труды Математического института им. В.А. Стеклова РАН. 2015. Т. 290. С. 72-79. doi
- Статья S. L. Kuznetsov. Trivalent logics arising from L-models for the Lambek calculus with constants // Journal of Applied Non-Classical Logics. 2014. Vol. 14. No. 1-2. P. 132-137. doi
Конференции
- 202430th Workshop on Logic, Language, Information, and Computation (WoLLIC 2024) (Берн). Доклад: Syntactic concept lattice models for infinitary action logic
- 2019WoLLIC 2019 (Утрехт). Доклад: The complexity of multiplicative-additive Lambek calculus: 25 years later
- 2018
9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Доклад: A logical framework with commutative and non-commutative subexponentials
- Formal Grammar 2018 (София). Доклад: A logical framework with commutative and non-commutative subexponentials
- 2017Fundamentals of Computation Theory (FCT 2017) https://fct2017.labri.fr/ (Бордо). Доклад: A polynomial-time algorithm for the Lambek calculus with brackets of bounded order
- 2016Symposium on Logical Foundations of Computer Science (LFCS 2016) (Дирфилд-Бич). Доклад: On Lambek's restriction in the presence of exponential modalities
- The 21st Conference on Formal Grammar (Больцано). Доклад: Undecidability of the Lambek calculus with a relevant modality
Участие в редколлегиях научных журналов
С 2023 г.: член редколлегии журнала «Труды Математического института им. В.А. Стеклова РАН».
Опыт работы
Математический институт им. В. А. Стеклова РАН: ведущий научный сотрудник отдела математической логики, с августа 2024 г.; старший научный сотрудник того же отдела, 2018-2024 гг.; научный сотрудник того же отдела, 2013-2018 гг.
Московский государственный университет им. М. В. Ломоносова, механико-математический факультет: ассистент кафедры математической логики и теории алгоритмов (на неполной ставке), с мая 2012 г.
Информация*
- Общий стаж: 17 лет
- Научно-педагогический стаж: 17 лет
- Преподавательский стаж: 8 лет
Степан Кузнецов получил Премию правительства Москвы для молодых ученых
Степан Кузнецов, старший научный сотрудник международной лаборатории интеллектуальных систем и структурного анализа и доцент базовой кафедры Математического института им В. А. Стеклова РАН, стал лауреатом Премии правительства Москвы для молодых ученых
Доклады Степана Кузнецова на семинаре «Формальная философия-78»
12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
International Workshop Logic Matters (LM-2021)
28 декабря 2021 г. состоялся междунароный семинар Logic Matters.