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

Тел.: +7 (495) 772-95-90 * 12332

computerscience@hse.ru

125319, Москва, Кочновский проезд, д. 3 (недалеко от станции метро "Аэропорт"). 

 

Руководство

Декан — Аржанцев Иван Владимирович

 

Первый заместитель декана факультета — Вознесенская Тамара Васильевна

 

Заместитель декана по научной работе и международным связям — Объедков Сергей Александрович

 

Заместитель декана по административно-финансовой работе — Плисецкая Ирина Александровна

Образовательные программы
Бакалаврская программа

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

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

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

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

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

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

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

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

Математические методы оптимизации и стохастики

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

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

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

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

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

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

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

Статистическая теория обучения

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

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

2 года
Очная форма обучения
30/3
30 платных мест
3 платных места для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Статья
Optimising the Active Muon Shield for the SHiP Experiment at CERN

A. Baranov, Derkach D., Filatov A. et al.

Journal of Physics: Conference Series. 2017. Vol. 934. No. 1. P. 12050-12054.

Статья
Sugar Lego: Gene composition of bacterial carbohydrate metabolism genomic loci

Gelfand M. S., Kaznadzey А., Shelyakin P.

Biology Direct. 2017.

Статья
On tame, pet, domestic, and miserable impartial games
В печати

Gurvich V., Nhan Bao H.

Discrete Applied Mathematics. 2018.

Статья
Additive actions on toric varieties

Arzhantsev I., Romaskevich E.

Proceedings of the American Mathematical Society. 2017. Vol. 145. No. 5. P. 1865-1879.

Открытые лекции факультета компьютерных наук

20 и 26 февраля пройдет цикл открытых лекций сотрудников и гостей факультета.

Регистрация

20 февраля, ауд. 400

17.00 – 17.55. Thibaut Le Gouic (Ecole Centrale de Marseille)

Barycenters in Wasserstein spaces

The Wasserstein barycenter of a set of probabilitycommunity. This talk will introduce some of the problems in machine learning in which this tool appear as a solution. Then, after a formal definition of this notion, we will state its basics properties and study its stability with respect to the set of probability measures of which the barycenter is taken.

18.00 – 18.55. Денис Деркач (Научно-учебная лаборатория методов анализа больших данных ФКН НИУ ВШЭ)

Машинное обучение для фундаментальных исследований

Применение методов машинного обучения стало необходимым этапом анализа данных в физике высоких энергий. Эти методы используются на всех стадиях от первичного сбора данных до финального анализа. В докладе рассматриваются наиболее актуальные разработки в области машинного обучения, позволяющих в экспериментах Большого адронного коллайдера набирать терабайты высококачественных данных. Особое внимание будет уделено системе триггеров и системе идентификации частиц в эксперименте LHCb. В докладе также описываются перспективные разработки, использование которых ожидается в следующем запуске Большого адронного коллайдера в 2021 году: использование подходов машинного обучения для ускорения симуляции взаимодействия частиц с детектором с помощью нейронных сетей и контроль качества набираемых экспериментом данных.

19.00 – 19.55. Алексей Наумов (Сколтех/ФКН НИУ ВШЭ)

Large ball probabilities with applications in statistical inference

Many statistical inference problems require estimating the Kolmogorov distance between probabilities of two Gaussian elements to hit a ball in a Hilbert space. In this talk, we derive the bounds which are dimensional-free and depend on the nuclear (Schatten-one) norm of the difference between the covariance operators of the elements. We are also interested in the anti-concentration bound for a squared norm of a non-centered Gaussian element in a Hilbert space. All bounds are sharp and cannot be improved in general. A list of corresponding motivation examples and applications in statistical inference will be provided as well. The talk is based on the recent results arXiv:1708.08663 and arXiv:1703.00871.

26 февраля, ауд. 317

14.00 – 14.55. Navid Talebanfard (Czech Academy of Sciences)

Hard Instances for SAT algorithms

The Boolean satisfiability problem (SAT) is the problem of deciding whether there exists a truth assignment to a given formula which makes it true. Many non-trivial exponential time algorithms are known. However the precise complexity of SAT remains elusive. Exponential Time Hypothesis (ETH) and Strong ETH are formulated to describe the possible complexities. In this talk I will review some constructions showing that several known classes of algorithms cannot refute Strong ETH. I will then present several open questions in this direction.

15.00 – 15.55. Laurent Beaudou (Université Clermont Auvergne)

Betweenness, Convexity and Lattices
In this lecture, we try to follow a natural progression from the notion of betweenness to that of convexity. Doing so, we explore some de Bruijn-Erdos problems around lines in convexity spaces. We also deal with the use of convex subsets in the framework of lattices, and discuss a potential way to extend Day’s duplication theorem to non-convex sets. This lecture is intended for a broad audience and I will be mostly interested in introducing concepts and open questions around these topics.