Кузнецов Степан Львович
- Старший научный сотрудник: Факультет компьютерных наук / Международная лаборатория интеллектуальных систем и структурного анализа
- Доцент: Факультет компьютерных наук / Базовая кафедра Математического института им В.А. Стеклова РАН (МИАН)
- Начал работать в НИУ ВШЭ в 2016 году.
- Научно-педагогический стаж: 17 лет.
Oбразование и учёные степени
2024
Доктор физико-математических наук: Математический институт им. В. А. Стеклова Российской академии наук2012
Кандидат физико-математических наук: специальность Математическая логика, алгебра и теория чисел, тема диссертации: Категориальные грамматики, основанные на вариантах исчисления Ламбека2009
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «Математик»Достижения и поощрения
- Благодарность Факультета компьютерных наук НИУ ВШЭ (сентябрь 2019)
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2023–2024)
Надбавка за публикацию в международном рецензируемом научном издании (2022–2023, 2021–2022, 2020–2022, 2019–2021)