• 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

Тема «достижения» – Новости

Объявлены лауреаты 1C:Стипендии-2022

Объявлены лауреаты 1C:Стипендии-2022
Вот уже третью осень подряд на ФКН вручается 1С:Стипендия. Она ежегодно назначается за успехи по итогам выполнения командных проектов, курсовых работ, программных проектов и выпускных квалификационных работ, представленных и курируемых компанией 1С.

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

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

Интервью с лауреатами стипендии Сегаловича-2022. Часть 2

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

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

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

Сотрудники ФКН получили награды НИУ ВШЭ

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

Поздравляем победителей НИРС-2021

Поздравляем победителей НИРС-2021
Подведены итоги конкурса научно-исследовательских работ студентов НИРС-2021. Поздравляем победителей, лауреатов и их научных руководителей!

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

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

Арутюн Аветисян награжден медалью ордена «За заслуги перед Отечеством»

Арутюн Аветисян награжден медалью ордена «За заслуги перед Отечеством»
Профессор Арутюн Аветисян, заведующий кафедрой «Системное программирование» и директор ИСП РАН, за большой вклад в развитие науки и многолетнюю добросовестную работу награжден медалью ордена «За заслуги перед Отечеством» 2 степени.

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

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

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