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

Oбразование и учёные степени

2024

Доктор физико-математических наук: Математический институт им. В. А. Стеклова Российской академии наук

2012

Кандидат физико-математических наук: специальность Математическая логика, алгебра и теория чисел, тема диссертации: Категориальные грамматики, основанные на вариантах исчисления Ламбека

2009

Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «Математик»

Профессиональные интересы

математическая логика

Достижения и поощрения

Благодарность Факультета компьютерных наук НИУ ВШЭ (сентябрь 2019)
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2024–2025, 2023–2024)
Надбавка за публикацию в международном рецензируемом научном издании (2022–2023, 2021–2022, 2020–2022, 2019–2021)

Учебные курсы (2024/2025 уч. год)

Discrete Mathematics for Application and Algorithm Development (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02 Прикладная математика и информатика; 1-й курс, 1 модуль)Анг
Discrete Mathematics for Application and Algorithm Development (Маго-лего; 1 модуль)Анг
Архив учебных курсов

Расписание занятий на сегодня

Расписание занятий по физической культуре в спортивных секциях

Полное расписание

Конференции

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

2019
WoLLIC 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

2017
Fundamentals of Computation Theory (FCT 2017) https://fct2017.labri.fr/ (Бордо). Доклад: A polynomial-time algorithm for the Lambek calculus with brackets of bounded order

2016
Symposium 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

Авторские права и патенты

№ п/п	Номер РИД	Вид РИД	Наименование РИД	Сведения о регистрации	Авторы
1	8.0010-2021	Произведение	Составное произведение МООК "Discrete mathematics (Discrete Math and analyzing social graphs)"		Кузнецов Степан Львович, Щуров Илья Валерьевич, Гарин Владимир Юрьевич, Гамезардашвили Ражден Мурманович, Урманов Максим Тимурович, Капчинский Анатолий Борисович, Подольский Владимир Владимирович, Гарин Владимир Юрьевич

Участие в редколлегиях научных журналов

С 2023 г.: член редколлегии журнала «Труды Математического института им. В.А. Стеклова РАН».

Опыт работы

Математический институт им. В. А. Стеклова РАН: ведущий научный сотрудник отдела математической логики, с августа 2024 г.; старший научный сотрудник того же отдела, 2018-2024 гг.; научный сотрудник того же отдела, 2013-2018 гг.

Московский государственный университет им. М. В. Ломоносова, механико-математический факультет: ассистент кафедры математической логики и теории алгоритмов (на неполной ставке), с мая 2012 г.

Информация^*

Общий стаж: 17 лет
Научно-педагогический стаж: 17 лет
Преподавательский стаж: 9 лет

Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

29

февр.

2024

Степан Кузнецов получил Премию правительства Москвы для молодых ученых

Степан Кузнецов, старший научный сотрудник международной лаборатории интеллектуальных систем и структурного анализа и доцент базовой кафедры Математического института им В. А. Стеклова РАН, стал лауреатом Премии правительства Москвы для молодых ученых

20

май

2023

Доклады Степана Кузнецова на семинаре «Формальная философия-78»

12 и 19 мая прошли заседания научно-теоретического семинара «Формальная философия-78». Степан Кузнецов (старший научный сотрудник Математического института им. В. А. Стеклова РАН) выступил с докладом «Категориальные грамматики Ламбека».

8

нояб.

2022

Формальная философия 2022

31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.

28

дек.

2021

International Workshop Logic Matters (LM-2021)

28 декабря 2021 г. состоялся междунароный семинар Logic Matters.

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

Oбразование и учёные степени

Профессиональные интересы

Достижения и поощрения

Учебные курсы (2024/2025 уч. год)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

Расписание занятий на сегодня

Конференции

Авторские права и патенты

Участие в редколлегиях научных журналов

Опыт работы

Информация^*

Степан Кузнецов получил Премию правительства Москвы для молодых ученых

Доклады Степана Кузнецова на семинаре «Формальная философия-78»

Формальная философия 2022

International Workshop Logic Matters (LM-2021)

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

Oбразование и учёные степени

Профессиональные интересы

Достижения и поощрения

Учебные курсы (2024/2025 уч. год)

Учебные курсы (2023/2024 уч. год)

Учебные курсы (2022/2023 уч. год)

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

Расписание занятий на сегодня

Конференции

Авторские права и патенты

Участие в редколлегиях научных журналов

Опыт работы

Информация*

Степан Кузнецов получил Премию правительства Москвы для молодых ученых

Доклады Степана Кузнецова на семинаре «Формальная философия-78»

Формальная философия 2022

International Workshop Logic Matters (LM-2021)

Информация^*