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

+7 (495) 531-00-00
27244

Профессор: Факультет компьютерных наук / Департамент больших данных и информационного поиска
Заведующий лабораторией: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

теория вычислений информатика логика основания математики

27240

Воротников Игорь Олегович

стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

дискретная математика математический анализ линейная алгебра теория чисел

+7(495) 531-0000
27240
+7(977) 285-7834

Вялый Михаил Николаевич

Профессор: Факультет компьютерных наук / Департамент больших данных и информационного поиска
Ведущий научный сотрудник: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

теория сложности вычислений комбинаторная оптимизация квантовые вычисления теория формальных языков комбинаторный анализ алгоритмическая теория игр

+7 (495) 531-00-00
27240

Гурвич Владимир Александрович

Ведущий научный сотрудник: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

теория игр теория графов булевы функции алгоритмы и алгоритмическая сложность

27240

Гусев Иван Ильич

стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

дискретная математика математический анализ линейная алгебра теория чисел

27240

Звонков Никита Сергеевич

Приглашенный преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска
стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

Дискретная математика и комбинаторика случайные графы

27240

Иванашев Ярослав Маратович

Аспирант, стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

Сложность вычислений

+74957729590
28841

Кузнецова Ксения Антоновна

Менеджер: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики
Начальник отдела: Факультет компьютерных наук / Отдел сопровождения проектов

28619

Максаев Артем Максимович

Заместитель руководителя департамента, Доцент: Факультет компьютерных наук / Департамент больших данных и информационного поиска
Заместитель заведующего лабораторией: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

линейная алгебра неотрицательные матрицы конечные автоматы кольца и модули

27236

Маминов Артем Дмитриевич

стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики
Приглашенный преподаватель: Факультет компьютерных наук / Базовая кафедра «Интеллектуальные технологии системного анализа и управления» ФИЦ «Информатика и управление» РАН

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

28619
89854345301

Мануйленко Никита Сергеевич

Преподаватель: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Базовая кафедра Т-Банка
стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

теория графов алгоритмы теория информации

27240

Парфенов Артём Вячеславович

стажер-исследователь: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

Сложность вычислений программирование алгоритмическая теория игр приближенные алгоритмы

27292

Промыслов Валентин Валерьевич

Доцент: Факультет компьютерных наук / Департамент больших данных и информационного поиска
Научный сотрудник: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

алгебраическая комбинаторика структурные константы алгебраическая теория графов линейная алгебра

27334

Радомский Артем Олегович

Доцент: Факультет компьютерных наук / Департамент больших данных и информационного поиска
Старший научный сотрудник: Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики

гармонический анализ аналитическая теория чисел

27334

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

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

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

84957729590
27305

Таламбуца Алексей Леонидович

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

геометрическая теория групп теория групп математическая логика

Преподаватели и сотрудникиПодразделения