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

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

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

Oбразование

2022

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

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

линейная логика теория типов гомотопическая теория типов функциональное программирование формальная верификация дизайн языков программирования криптографические протоколы протоколы доказательств с нулевым разглашением

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

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

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

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

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

Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
Дискретная математика для разработчика игр (Бакалавриат; где читается: Факультет компьютерных наук направление: 09.03.04 Программная инженерия, 54.03.01 Дизайн; 1-й курс, 1, 2 модуль)рус
Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 4-й курс, 1, 2 модуль)рус
Типы в языках программирования (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
Функциональное программирование (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус

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

Расписание занятий по физической культуре в спортивных секциях

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

Авторские права и патенты

№ п/п	Номер РИД	Вид РИД	Наименование РИД	Сведения о регистрации	Авторы
1	5.0033-2026	Программа для ЭВМ	Интегрированная среда разработки для графического языка программирования на основе теории категорий Komaru	2026669562	Соколов Павел Павлович

Опыт работы

Стажёр-исследователь в отделе математической логики МИАН им. В.А.Стеклова в 2023

Лаборант-исследователь в отделе математической логики МИАН им. В.А.Стеклова в 2022-2023

Программист-стажёр в WebStorm летом 2021

Стажёр-разработчик группы компонент ядра Яндекс.Браузера в 2019-2020

30

июнь

2025

Павел Соколов выступил на однодневном семинаре по математической логике ФКН

На департаменте больших данных и информационного поиска ФКН 25 июня успешно прошёл Однодневный семинар, посвященный актуальным вопросам математической логики.

26

июнь

2025

Прошел семинар "P = NP с точностью до переиспользования"

Соколов Павел, стажер-исследователь международной лаборатории теоретической информатики, выступил с докладом "P = NP с точностью до переиспользования" на семинаре лаборатории

14

июнь

2023

Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново

С 12 по 14 мая в учебном центре «Вороново» состоялся семинар по машинному обучению факультета компьютерных наук. Он проводится каждый год для обмена опытом и нетворкинга. Студенты, преподаватели и научные сотрудники ФКН обсудили результаты исследований и новые проекты.