• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
русский
английский
польский
Контакты
Телефон:
+7 (495) 772-95-90
27305
Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. S901
Время работы: По расписанию занятий
Домашняя страница
Расписание
SPIN РИНЦ: 3644-3790
ORCID: 0000-0003-0025-0133
ResearcherID: P-2607-2016
Scopus AuthorID: 54914981600
Google Scholar
Руководитель
Королев М. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.

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

  • Начал работать в НИУ ВШЭ в 2016 году.
  • Научно-педагогический стаж: 16 лет.

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

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

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

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

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

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

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

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

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

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

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

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

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

Introductory Research Seminar (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3 модуль)Анг

Публикации26

Конференции

  • 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

Опыт работы

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

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


Информация*

  • Общий стаж: 16 лет
  • Научно-педагогический стаж: 16 лет
  • Преподавательский стаж: 8 лет
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

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

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

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

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

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

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

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

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

International Workshop Logic Matters (LM-2021)

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