• 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 заявок в трех номинациях.

Поздравляем сотрудников ФКН!

Поздравляем сотрудников ФКН!
Арутюн Ишханович Аветисян и Ефим Михайлович Гринкруг 19 марта отмечают свои юбилейные даты.

Лучшие курсы 2019-2020 учебного года

Лучшие курсы 2019-2020 учебного года
В ходе студенческой оценки преподавателей студенты бакалавриата и магистратуры оценивали не только самих преподавателей, но и дисциплины. По результатам СОП дисциплины, получившие высокие оценки, специально отмечаются в списке курсов ВШЭ.

"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"

"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"
Алексей Мицюк, доцент департамента программной инженерии и старший научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) рассказал о своих исследованиях, проектах и о плюсах научной работы.

Объявлены лучшие преподаватели НИУ ВШЭ – 2019

Традиционные выборы лучшего преподавателя Высшей школы экономики 2019 года состоялись.

Преподаватель департамента программной инженерии получила диплом на Всероссийском конкурсе молодых преподавателей

Преподаватель департамента программной инженерии получила диплом на Всероссийском конкурсе молодых преподавателей
12-16 июня 2019 года в Москве состоялся очный этап федерального тура III Всероссийского конкурса молодых преподавателей вузов.

Программа стажировок работников и аспирантов российских вузов и научных организаций в НИУ ВШЭ

Национальный исследовательский университет «Высшая школа экономики» (НИУ ВШЭ) объявляет конкурсный прием заявок на стажировки работников и аспирантов российских вузов и научных организаций в 2019-2020 учебном году на базе своих кампусов в городах Москва, Санкт-Петербург, Нижний Новгород и Пермь.

Открывается конкурс на замещение должностей профессорско-преподавательского состава

НИУ ВШЭ проводит конкурс на замещение 561 должности профессорско-преподавательского состава (ППС) по кафедрам, департаментам и факультетам в Москве, Санкт-Петербурге, Нижнем Новгороде и Перми. Конкурсный отбор объявили 111 подразделений университета.

Продолжается прием заявок от международных специалистов на позиции доцентов

Факультет компьютерных наук Высшей школы экономики (Москва) продолжает прием заявок на позиции доцентов для международных специалистов. Вакансии предполагают полную занятость сотрудников и работу на контрактной основе с перспективой продления. Факультет ждет специалистов из самых разных областей компьютерных наук, в том числе: теории языков программирования, разработки программного обеспечения, системного программирования, алгоритмов, биоинформатики, искусственного интеллекта и машинного обучения. Знание русского языка от кандидатов не требуется, преподавание и исследовательская работа ведутся на английском.

«Признание» от Вышки профессору Департамента Программная Инженерия Сергею Михайловичу Авдошину

29 июня состоялась церемония вручения медали «Признание», которой НИУ ВШЭ отмечает сотрудников, долгие годы работающих на благо университета.