Соколов Павел Павлович (original) (raw)

Соколов Павел Павлович

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

Полномочия / обязанности

Проведение занятий.

Oбразование

2022

Бакалавриат: Национальный исследовательский университет "Высшая школа экономики", специальность «Прикладная математика и информатика», квалификация «Бакалавр»

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

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

• Надбавка для молодых преподавателей ФКН из числа выпускников (2023-2024)
• Благодарность департамента больших данных и информационного поиска НИУ ВШЭ (декабрь 2024)
• 
  Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
  Категория "Новые преподаватели" (2024)

Обучение в аспирантуре

2-й год обучения
Утвержденная тема диссертации: Практичные зависимые типы: введение легковесных методов формальной верификации в мейнстримное программирование
Научный руководитель: Кузнецов Степан Львович