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

 

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

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

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

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

  • 2012
    Кандидат физико-математических наук
  • 2009

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

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

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

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

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

Публикации7

Конференции

  • 2018
    9th International Joint Conference on Automated Reasoning (IJCAR 2018) (Оксфорд). Доклад: A logical framework with commutative and non-commutative subexponentials
  • 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

Опыт работы

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

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

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

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