Соколов Павел Павлович
- Преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска
- стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики
- Аспирант: Факультет компьютерных наук / Базовая кафедра Математического института им В.А. Стеклова РАН (МИАН)
- Начал работать в НИУ ВШЭ в 2023 году.
- Научно-педагогический стаж: 2 года.
Oбразование
2022
Бакалавриат: Национальный исследовательский университет "Высшая школа экономики", специальность «Прикладная математика и информатика», квалификация «Бакалавр»Достижения и поощрения
Надбавка для молодых преподавателей ФКН из числа выпускников (2023-2024)
- Благодарность департамента больших данных и информационного поиска НИУ ВШЭ (декабрь 2024)
- Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые преподаватели" (2024)
Обучение в аспирантуре
1-й год обучения
Утвержденная тема диссертации: Практичные зависимые типы: введение легковесных методов формальной верификации в мейнстримное программирование
Научный руководитель: Кузнецов Степан Львович
Утвержденная тема диссертации: Практичные зависимые типы: введение легковесных методов формальной верификации в мейнстримное программирование
Научный руководитель: Кузнецов Степан Львович
Учебные курсы (2025/2026 уч. год)
- Introduction to Knowledge Representation (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02 Прикладная математика и информатика; 2-й курс, 1, 2 модуль)Анг
- Introduction to Knowledge Representation (Маго-лего; где читается: Факультет компьютерных наук; 1, 2 модуль)Анг
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Zero-Knowledge Proof Protocols (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)Анг
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 1, 2 модуль)рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
- Архив учебных курсов
Учебные курсы (2024/2025 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия; 1-й курс, 1, 2 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия; 1-й курс, 1-4 модуль)рус
- Математика для анализа данных (линейная алгебра) (Маго-лего; 2 модуль)рус
- Математика для анализа данных (линейная алгебра) (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02 Прикладная математика и информатика; 1-й курс, 2 модуль)рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Zero-Knowledge Proof Protocols (Бакалавриат направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 3 модуль)Анг
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 1, 2 модуль)рус
- Типы в языках программирования (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02 Прикладная математика и информатика; 1-й курс, 1, 2 модуль)рус
- Типы в языках программирования (Маго-лего; 1, 2 модуль)рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Функциональное программирование (Факультатив; 1, 2 семестр)рус
Учебные курсы (2023/2024 уч. год)
- Алгоритмы во внешней памяти (Маго-лего; 1, 2 модуль)рус
- Алгоритмы во внешней памяти (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02. Прикладная математика и информатика; 1-й курс, 1, 2 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04. Программная инженерия; 1-й курс, 1-4 модуль)рус
- Дискретная математика (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Промышленное программирование на Haskell, Часть 1 (Маго-лего; 3 модуль)рус
- Промышленное программирование на Haskell, Часть 1 (Магистратура; где читается: Факультет компьютерных наук направление: 01.04.02. Прикладная математика и информатика; 1-й курс, 3 модуль)рус
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 4-й курс, 1, 2 модуль)рус
- Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика, направление: 01.03.02. Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Вводный курс по дискретной математике (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)рус
- Вводный курс по дискретной математике 2 (Дисциплина общефакультетского пула; 3 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
- Промышленное программирование на Haskell (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 4-й курс, 3 модуль)рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 4-й курс, 1, 2 модуль)рус
- Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Читательская группа по Теории языков программирования (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)рус
Опыт работы
Стажёр-исследователь в отделе математической логики МИАН им. В.А.Стеклова в 2023
Лаборант-исследователь в отделе математической логики МИАН им. В.А.Стеклова в 2022-2023
Программист-стажёр в WebStorm летом 2021
Стажёр-разработчик группы компонент ядра Яндекс.Браузера в 2019-2020
30
июнь
2025
Павел Соколов выступил на однодневном семинаре по математической логике ФКН
На департаменте больших данных и информационного поиска ФКН 25 июня успешно прошёл Однодневный семинар, посвященный актуальным вопросам математической логики.
26
июнь
2025
Прошел семинар "P = NP с точностью до переиспользования"
Соколов Павел, стажер-исследователь международной лаборатории теоретической информатики, выступил с докладом "P = NP с точностью до переиспользования" на семинаре лаборатории
14
июнь
2023
Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново
С 12 по 14 мая в учебном центре «Вороново» состоялся семинар по машинному обучению факультета компьютерных наук. Он проводится каждый год для обмена опытом и нетворкинга. Студенты, преподаватели и научные сотрудники ФКН обсудили результаты исследований и новые проекты.