• 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

Тема «официально» – Новости

Подведены итоги конкурса надбавок для молодых преподавателей ФКН из числа выпускников 2021 и 2022 года

Подведены итоги конкурса надбавок для молодых преподавателей ФКН из числа выпускников 2021 и 2022 года
27 июня завершился конкурс по установлению надбавок для молодых преподавателей ФКН из числа выпускников 2021 и 2022 года. Этот конкурс факультет проводит во второй раз. Студентов и аспирантов все больше интересует возможность преподавать на ФКН на полную ставку, поэтому в этом году к участию в конкурсе приглашались не только выпускники ФКН, но и представители других факультетов Вышки и других вузов.

Лучшие преподаватели-2021

Лучшие преподаватели-2021
Стали известны лучшие преподаватели по версии студентов в 2021 году.

Сотрудники ФКН получили академические надбавки в 2021 году

Сотрудники ФКН получили академические надбавки в 2021 году
Подведены итоги кампании по назначению академических надбавок. Поздравляем коллег с их получением!

Защиты диссертаций: будущие и прошедшие

Защиты диссертаций: будущие и прошедшие
В 2018 году шесть сотрудников факультета компьютерных наук защитили диссертационные работы. Рассказываем о состоявшихся защитах и о предстоящих в 2019 году.

НИУ ВШЭ вступила в юрисдикцию XBRL

31 мая 2018 года состоялось официальное открытие Центра по внедрению и развитию формата XBRL в России (постоянная юрисдикция XBRL в России ). XBRL (eXtensible Business Reporting Language) - расширяемый язык деловой отчетности, широко используемый в мире стандарт обмена деловой информацией и предоставления отчетности.

Сотрудники факультета компьютерных наук получили награды, приуроченные к юбилею университета

Сотрудники факультета компьютерных наук получили награды, приуроченные к юбилею университета
Наши коллеги награждены за заслуги в профессиональной деятельности, многолетний плодотворный труд и в связи с 25-летием со дня образования Национального исследовательского университета «Высшая школа экономики».

Вышка будет присуждать собственные ученые степени

Ряд научных организаций и вузов, в том числе НИУ ВШЭ, смогут самостоятельно утверждать ученые степени. Соответствующее распоряжение подписал премьер-министр России Дмитрий Медведев.

Подведены итоги выборов лучших преподавателей года

Подведены итоги традиционного выбора лучших преподавателей Высшей школы экономики 2017 года.

Образовательная программа «Программная инженерия» получила свидетельство о профессионально-общественной аккредитации

11 апреля 2017 года образовательная программа бакалавриата ФКН «Программная инженерия» получила свидетельство о профессионально-общественной аккредитации (ПОА) от Ассоциации предприятий компьютерных и информационных технологий (АПКИТ).

Студенты факультета стали лауреатами стипендий Президента и Правительства РФ

Стипендия назначается студентам, проявившим выдающиеся способности в учебной и научной деятельности (победы в олимпиадах, научные статьи и др.), обучающимся по приоритетным направлениям модернизации и технологического развития российской экономики.
1 2