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

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

computerscience@hse.ru

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

 

Руководство

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

 

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

 

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

 

Заместитель декана по учебно-методической работе — Самоненко Илья Юрьевич

 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2 года
Очная форма обучения
35/3
35 платных мест
3 платных места для иностранцев
RUS/ENG
Обучение ведётся на русском и английском языках
Глава в книге
A Logical Framework with Commutative and Non-commutative Subexponentials

Kanovich M., Kuznetsov S., Nigam V. et al.

In bk.: IJCAR: International Joint Conference on Automated Reasoning Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Springer, 2018. P. 228-245.

Статья
On the exponentially weighted aggregate with the Laplace prior

Dalalyan A., Grappin E., Paris Q.

The annals of statistics. 2018. Vol. 46. No. 5. P. 2452-2478.

Междисциплинарный семинар САЕ «Математика, компьютерные науки и информационные технологии»

Мероприятие завершено

12 декабря 2017 года состоится очередной междисциплинарный научный семинар САЕ «Математика, компьютерные науки и информационные технологии», на котором сотрудники факультета математики представят доклады о своих научных результатах.

Время проведения: 12 декабря, 16:30 – 19:00

Место проведения: Факультет компьютерных наук, Кочновский пр-д, д.3, ауд. 205

Программа семинара

Пахомов Федор Николаевич

Факультет математики: доцент

Теоремы об ускорении для арифметики Пресбургера

Результаты о том, что доказательства некоторых утверждений в одной системе доказательств могут быть существенно короче, чем в другой имею место как для пар систем пропозициональных доказательств, так и для пар сильных теорий первого порядка. Такие результаты известны как теоремы об ускорении. В этом докладе будет рассказано о, в некотором смысле, промежуточном случае. Хотя первопорядковый язык арифметики Пресбургера существенно более выразителен, чем пропозициональная логика, тем не менее, в отличие от первопорядковой арифметики Пеано и других сильных теорий, арифметика Пресбургера полна и разрешима. Мы показываем, что для ряда пар аксиоматизаций арифметики Пресбургера имеет место результат об ускорении с экспоненциальной нижней оценкой и итерацией экспонент конечной высоты в качестве верхней.


Вьюгин Илья Владимирович

Базовая кафедра Института проблем передачи информации им.А.А.Харкевича (ИППИ) РАН: Доцент

Полиномиальные уравнения на подгруппах

В докладе будут рассмотрены линейные и полиномиальные уравнения над полями положительной характеристики, например, над полем вычетов по простому модулю p. Нас будут интересовать верхние оценки числа решений таких уравнений P(x,y)=0, принадлежащих некоторой подгруппе мультипликативной группы поля. Такие оценки находят многочисленные применения как в теории чисел, так и в смежных теориях, некоторые из которых мы постараемся осветить.


Мариани Мауро

Факультет математики: доцент

Characterizing the fluctuations of some random dynamics: particles' systems and stochastic PDEs

The relevant quantities associated to several random systems (for instance the entropy or free energy in Statistical Physics), can be obtained via a sharp description of the fluctuations of such systems. I will try to explain why this can be thought as a problem of (constrained) minimization of the Kullback-Leibler divergence. As time allows, I will give some examples of systems (stochastic particles' systems, stochastic PDEs) where such description is possible.