• 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

Тема «репортаж о событии» – Новости

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

Фонд образовательных инноваций подвел итоги весеннего конкурса образовательных инноваций 2022 года. Всего на конкурс поступило 38 заявок в трех номинациях.

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

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

Завершилась летняя школа для учителей информатики-2022

Завершилась летняя школа для учителей информатики-2022
Состоялась ежегодная летняя школа для учителей информатики образовательных учреждений университетского округа, организованная Центром взаимодействия с регионами НИУ ВШЭ совместно с факультетом компьютерных наук. Данный проект – уникальная возможность для учителей встретиться и пообщаться не только с ведущими преподавателями ФКН, но и со своими коллегами.

Вышка и 1С подписали соглашение о расширении сотрудничества

Вышка и 1С подписали соглашение о расширении сотрудничества
На ПМЭФ-2022 НИУ ВШЭ и 1С подписали соглашение о расширении сотрудничества в технологических, образовательных, просветительских и информационных сферах. 

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

На департаменте программной инженерии прошла предварительная защита кандидатских диссертаций Нестерова Р.А. и Карраскеля Гамеса Х.С.

ФКН провел Дни компьютерных наук

ФКН провел Дни компьютерных наук
Каждый апрель факультет компьютерных наук проводит Дни компьютерных наук, чтобы отпраздновать свой день рождения. В 2022 ФКН исполнилось восемь лет.

Вручение стипендии имени Ильи Сегаловича 2022

Вручение стипендии имени Ильи Сегаловича 2022
15 апреля состоялось вручение стипендии имени Ильи Сегаловича. Лауреатов поздравили декан ФКН Иван Аржанцев, руководитель университетских проектов Академии Яндекса Юрий Щепетков и руководитель Школы анализа данных в Москве Станислав Федотов.

12 апреля прошел IT-девичник

12 апреля прошел IT-девичник
12 апреля в Малом зале КЦ прошел ИТ-девичник. Мы собрали фотографии, чтобы рассказать, как это было.

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

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