Кузнецов Степан Львович
- Доцент:Факультет компьютерных наук / Департамент анализа данных и искусственного интеллекта
- Старший научный сотрудник:Факультет компьютерных наук / Международная лаборатория интеллектуальных систем и структурного анализа
- Начал работать в НИУ ВШЭ в 2016 году.
- Научно-педагогический стаж: 15 лет.
Образование, учёные степени
- 2012Кандидат физико-математических наук: специальность Математическая логика, алгебра и теория чисел, тема диссертации: Категориальные грамматики, основанные на вариантах исчисления Ламбека
- 2009
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «Математик»
Учебные курсы (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 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 3 модуль)Рус
Учебные курсы (2018/2019 уч. год)
Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1 модуль)Анг
Учебные курсы (2017/2018 уч. год)
Introductory Research Seminar (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3 модуль)Анг
Публикации24
- Статья Stepan L. Kuznetsov. Commutative action logic // Journal of Logic and Computation. 2022. P. 1-27. 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
- Статья 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
Конференции
- 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
Опыт работы
Математический институт им. В. А. Стеклова РАН: старший научный сотрудник отдела математической логики, с ноября 2018 г.; научный сотрудник того же отдела, 2013-2018 гг.
Московский государственный университет им. М. В. Ломоносова, механико-математический факультет: ассистент кафедры математической логики и теории алгоритмов (на неполной ставке), с мая 2012 г.
Информация*
- Общий стаж: 15 лет
- Научно-педагогический стаж: 15 лет
- Преподавательский стаж: 7 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
International Workshop Logic Matters (LM-2021)
28 декабря 2021 г. состоялся междунароный семинар Logic Matters.