• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Адрес: 109028, г. Москва, Покровский бульвар, д. 11

Телефон: +7 (495) 531-00-00 *27254

Email: computerscience@hse.ru

 

Руководство
Первый заместитель декана Вознесенская Тамара Васильевна
Заместитель декана по научной работе и международному сотрудничеству Объедков Сергей Александрович
Заместитель декана по учебно-методической работе Самоненко Илья Юрьевич
Заместитель декана по развитию и административно-финансовой работе Плисецкая Ирина Александровна
Мероприятия
Образовательные программы
Бакалаврская программа

Компьютерные науки и анализ данных

4 года
Очная форма обучения
75/5
75 платных мест
5 платных мест для иностранцев
RUS
Обучение ведётся на русском языке
Бакалаврская программа

Прикладная математика и информатика

4 года
Очная форма обучения
125/60/30
125 бюджетных мест
60 платных мест
30 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Бакалаврская программа

Программа двух дипломов НИУ ВШЭ и Лондонского университета «Прикладной анализ данных»

4 года
Очная форма обучения
90/12
90 платных мест
12 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Бакалаврская программа

Программная инженерия

4 года
Очная форма обучения
120/80/30
120 бюджетных мест
80 платных мест
30 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Анализ данных в биологии и медицине

2 года
Очная форма обучения
25/5/1
25 бюджетных мест
5 платных мест
1 платное место для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Магистр по наукам о данных

2 года
Заочная
63/27
63 платных мест
27 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Математика машинного обучения

2 года
Очная форма обучения
15/5/1
15 бюджетных мест
5 платных мест
1 платное место для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Машинное обучение и высоконагруженные системы

2 года
Очная форма обучения
28/2
28 платных мест
2 платных места для иностранцев
RUS
Обучение ведётся на русском языке
Магистерская программа

Науки о данных

2 года
Очная форма обучения
65/15/20
65 бюджетных мест
15 платных мест
20 платных мест для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Магистерская программа

Системная и программная инженерия

2 года
Очная форма обучения
25/5/10
25 бюджетных мест
5 платных мест
10 платных мест для иностранцев
ENG
Обучение ведётся на английском языке
Магистерская программа

Системное программирование

2 года
Очная форма обучения
15/5/2
15 бюджетных мест
5 платных мест
2 платных места для иностранцев
RUS
Обучение ведётся на русском языке
Магистерская программа

Финансовые технологии и анализ данных

2 года
Очная форма обучения
50/1
50 платных мест
1 платное место для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Глава в книге
Black-Box Optimization with Local Generative Surrogates

Belavin V., Ustyuzhanin A., Широбоков С. К. et al.

In bk.: Advances in Neural Information Processing Systems 33 (NeurIPS 2020). Curran Associates, Inc., 2020. P. 14650-14662.

Статья
The multiplicative-additive Lambek calculus with subexponential and bracket modalities

Kanovich M., Kuznetsov S., Scedrov A.

Journal of Logic, Language and Information. 2021. Vol. 30. No. 1. P. 31-88.

На факультете прошла конференция по теоретической информатике

14 июня на факультете состоялась однодневная конференция «Complexity of Computation, Communication, Descriptions and Proofs», организованная международной лабораторией теоретической информатики. Конференция прошла как смежное мероприятие с крупной международной конференцией «Computer Science in Russia».

На конференции были сделаны несколько обзорных докладов. В круг обсуждаемых тем вошли теория кодирования, сложность доказательств, коммуникационная сложность, сложность разрешающих деревьев, теория алгоритмов. Доклады были ориентированы на участников, обладающих лишь базовыми знаниями в области теоретической информатики.

В рамках конференции о результатах своих исследований рассказали ведущие зарубежные и российские учёные:

Amnon Ta-Shma (Tel-Aviv University), доклад: “Explicit, almost optimal, eps-balanced codes” о построении нового вида кодов с параметрами, близкими к оптимальным.

Bruno Loff (University of Porto), доклад: “Communication vs query complexity, new results” о соотношении между коммуникационной сложностью и запросной сложностью на примере задачи о вычислении композиции функций.

Stephen Fenner (The University of South Carolina), “Geometric approaches to derandomizing parallel matching and matroid algorithms” о последних результатах в области дерандомизации параллельных алгоритмов на графах и матроидах.

Дмитрий Соколов (ПОМИ РАН), доклад: “Monotone interpolation in proof complexity” об интерполяционном подходе для доказательства нижних оценок в пропозициональных системах доказательств.

Григорий Ярославцев (Indiana University, Bloomington), доклад: “Computational and communication complexity in massively parallel computing” о связи вычислительной и информационной сложности с недавно открытой моделью для массивных параллельных вычислений.

С более подробными аннотациями можно ознакомиться на странице конференции.

Также лабораторией было организовано два мини-курса: «Asymmetric Communication Complexity»«The matching problem: Approaches, applications, and algorithms». Их прочитали Bruno Loff и Stephen Fenner.

Видеозаписи мини курсов доступны на канале Youtube и в Вконтакте.