• 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!

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

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

Дипломы получили 116 выпускников из них  шесть — с отличием.

С поздравлениями выступили декан факультета компьютерных наук Аржанцев Иван Владимирович, академический руководитель программы Шилов Валерий Владимирович, руководитель департамента программной инженерии Лебедев Сергей Аркадьевич и заместитель заведующего кафедрой "Системное программирование", профессор Ефим Михайлович Гринкруг.  

Поздравить ребят пришли близкие  и друзья.

 Желаем выпускникам профессиональных успехов, новых горизонтов и побед!