• 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. Часть 2

Интервью с лауреатами стипендии Сегаловича-2022. Часть 2
Продолжаем рассказывать о лауреатах стипендии Сегаловича-2022. Читайте в нашем материале о том, чем живут и что исследуют лауреаты этого года.

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

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

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

Итоги конкурса стипендии «Молодой предприниматель» ФКН 2021 в номинации «Лучший предпринимательский проект»

Итоги конкурса стипендии «Молодой предприниматель» ФКН 2021 в номинации «Лучший предпринимательский проект»

Марафон мастер-классов от компании "MasterDelivery"

Марафон мастер-классов от компании "MasterDelivery"

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

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