• 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
Обучение ведётся на русском языке
Магистерская программа

Науки о данных (Data Science)

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.

О конференции SYRCoSE-2021

О конференции SYRCoSE-2021

Canva

27-28 мая прошла конференция SYRCoSE (Spring/Summer Young Researchers' Colloquium on Software Engineering). О конференции рассказал Александр Константинович Петренко, председатель программного комитета. 

Петренко Александр Константинович
Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН): Профессор

В прошлом году конференция прошла в онлайн-формате. В этом году непосредственно на подготовку пандемия не повлияла: конференция прошла в комбинированном формате (часть докладов делалась через Zoom, часть – очно, в ВШЭ). В целом, это скорее негативно сказалось на качестве дискуссий и обсуждении работ, а это важно для любой научной конференции.

Всего было 27 докладов (включая приглашенные), около 30 участников, которые представляли Берлин (Fraunhofer FOKUS), Иннополис (Университет Иннополис), Лимерик (University of Limerick), Москва (Huawei, ВШЭ, ИСП РАН, МГУ, МФТИ, МЦСТ, МЭИ), Пермь (ВШЭ, ПГУ), Санкт-Петербург (JetBrains Research, ВШЭ, СПбГУ, СПбПУ).

Большой интерес вызвали приглашенные доклады.

Профессор Х. Шлинглофф из института Fraunhofer FOKUS сделал обширный доклад о новых вызовах к качеству и, в первую очередь, к надежности программных систем управления в автономных системах, какими, например, можно считать автономно движущиеся автомобили, роботов и др. (Prof. Dr. Holger Schlingloff, Fraunhofer FOKUS, Germany (Formal Methods for Reliable Autonomous Systems). В частности, он остановился на проблеме того, что нужно уметь формировать общие принципы обеспечения безопасности дорожного движения, строить системы, которые гарантированно следуют этим принципам, автоматически определять, когда выполнение общих принципов может вести к аварии, принимать решение о временном отказе от выполнения общих принципов и построении безопасной для пассажиров траектории управления. Несмотря на кажущиеся противоречия, каждая из задач нуждается в математическом моделировании согласованной стратегии управления при переходе из одного режима в другой.

Дмитрий Мордвинов (к.ф.-м.н., СПбГУ, JetBrains Research) рассказал о новой технике анализа программ, которая объединяет такие классические подходы как символьные вычисления и ленивые вычисления, и при этом позволяет использовать новые методы символьных вычислений в задачах верификации логики микропроцессоров.

Антон Подкапаев ( к.ф.-м.н., НИУ ВШЭ, JetBrains Research) рассказал о серьезных проблемах, которые встали перед разработчиками новых микропроцессоров и компиляторов для них. Оказалось, что если следовать классическим методам оптимизации программ, которые выполняют все современные компиляторы, то на новых микропроцессорах, например, на некоторых моделях ARM, программы просто перестают работать или работают неправильно. Причиной этого неожиданного феномена стала новая так называемая «мягкая модель памяти». В настоящий момент пока не построена общая математическая модель «мягкой памяти», соответственно, нет общих принципов для построения одновременно эффективных и корректных компиляторов. Многообразие подходов к решению этой проблемы было представлено в докладе.

Практически все доклады были высокого уровня. Они в ближайшее время будут опубликованы в журналах, которые издает ИСП РАН. Также мы надеемся, что в следующем году конференцию удасться провести полностью офлайн.