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

 

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

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

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

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

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

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

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

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

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

Выпускные квалификационные работы студентов

Полный список ВКР

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

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

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

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

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

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

Публикации14

Конференции

  • 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 г.

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

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