Лукашов Никита Вадимович
- Аспирант: Факультет компьютерных наук / Базовая кафедра Математического института им В.А. Стеклова РАН (МИАН)
- Стажер-исследователь: Факультет математики
- Начал работать в НИУ ВШЭ в 2025 году.
- Научно-педагогический стаж: 2 года.
Полномочия / обязанности
В обязанности стажера-исследователя входит работа в коллективных проектах, участие в регулярных научных семинарах, конференциях, рабочих семинарах, а также выполнение административных обязанностей.
Oбразование
2025
Магистратура: Национальный исследовательский университет "Высшая школа экономики", специальность «Математика», квалификация «Магистр»Обучение в аспирантуре
1-й год обучения
Утвержденная тема диссертации: Исследование проблем унификации и допустимости правил вывода в логиках доказуемости
Научный руководитель: Беклемишев Лев Дмитриевич
Утвержденная тема диссертации: Исследование проблем унификации и допустимости правил вывода в логиках доказуемости
Научный руководитель: Беклемишев Лев Дмитриевич