• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties

Fedotov I., Anton Khritankov, Barger A.

In bk.: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM). NY: Association for Computing Machinery (ACM), 2022. P. 100-105.

Препринт
Using Text Analytics for Health to Get Meaningful Insights from a Corpus of COVID Scientific Papers

Soshnikov D. V., Soshnikova V.

arxiv.org. Computer Science. Cornell University, 2021

Образование – Новости

Поздравляем выпускников 2022!

Поздравляем выпускников 2022!
1 июля состоялась церемония вручения дипломов выпускникам бакалаврской программы "Программная инженерия"

Фомичев М.И. защитил кандидатскую диссертацию

ФКН Вышки провел первую зимнюю школу по программной инженерии

ФКН Вышки провел первую зимнюю школу по программной инженерии
14–18 февраля факультет компьютерных наук Высшей школы экономики организовал первую международную зимнюю школу по программной инженерии. Мероприятие состоялось при поддержке компании JetBrains, Университета Иннополис и Технологического института Шаффхаузена.

Арутюн Аветисян: «Нужно создавать сетевые модели ускоренного трансфера знаний»

Арутюн Аветисян: «Нужно создавать сетевые модели ускоренного трансфера знаний»
Направление «Программная инженерия» на факультете компьютерных наук ВШЭ недавно было модернизировано. Академическим партнером стал Институт системного программирования им. В.П. Иванникова РАН (ИСП РАН), а научным руководителем направления — директор ИСП РАН, академик РАН заведующий базовой кафедрой «Системное программирование» ИСП РАН факультета компьютерных наук ВШЭ Арутюн Аветисян. В интервью новостной службе он рассказал о том, что изменится для студентов, насколько конкурентоспособно отечественное образование в области «Программная инженерия» и нужны ли программисту soft skills.

ВШЭ модернизирует направление «Программная инженерия» в партнерстве с ИСП РАН и 1С

ВШЭ модернизирует направление «Программная инженерия» в партнерстве с ИСП РАН и 1С
Высшая школа экономики планирует развивать направление «Программная инженерия» на факультете компьютерных наук совместно с Институтом системного программирования им. В.П. Иванникова РАН (ИСП РАН) и компанией 1С. В рамках обновления предусмотрено сделать больший упор на изучение передовых технологий и средств разработки программного обеспечения, а также расширить количество различных специализаций.

Профессор ДПИ Зыков Сергей Викторович - лауреат премии Образовательной платформы «Юрайт» «Выбор вузов России»!

Подведены итоги осеннего конкурса образовательных инноваций 2019 г.

Фонд образовательных инноваций НИУ ВШЭ подвел итоги осеннего конкурса образовательных инноваций 2019 г. В четырех номинациях конкурса участвовали 50 заявок. Среди победителей - 4 сотрудника департамента программной инженерии.

Открывается конкурс на замещение должностей профессорско-преподавательского состава

Открывается конкурс на замещение должностей профессорско-преподавательского состава
Высшая школа экономики объявляет о старте конкурса на замещение 528 должностей профессорско-преподавательского состава (ППС) по кафедрам, департаментам и факультетам в Москве, Санкт-Петербурге, Нижнем Новгороде и Перми. Конкурсный отбор объявили 110 подразделений университета.

«Это был “курс выживания” в программной инженерии»

Считается, что молодой специалист должен выбирать: или академическая карьера, или бизнес-трек. Выпускнику факультета компьютерных наук, лауреату стипендии имени Ильи Сегаловича, преподавателю департамента программной инженерии Михаилу Фомичеву удается и то и другое. О работе в университете и в Яндексе он рассказал порталу Вышки.

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ
Завершились защиты курсовых работ и проектов студентов образовательной программы Программная инженерия, которые проходили с 18 апреля по 24 мая.