• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Исследователи и преподаватели ВШЭ отмечены наградами

23 декабря на заседании Ученого совета были вручены правительственные, ведомственные и университетские награды.

Директор Института социальной политики Лилия Овчарова получила Благодарность Правительства РФ.

Профессор факультета компьютерных наук Ефим Гринкруг отмечен знаком «Почётный работник науки и техники РФ» — наградой Министерства образования и науки РФ.

Руководитель департамента иностранных языков Елена Соловова получила Благодарность Министерства образования и науки РФ и Почётную грамоту Высшей школы экономики.

Директор по профессиональной ориентации и работе с одаренными учащимися Тамара Протасевич и  декан факультета бизнеса и менеджмента награждены Почётными знаками II степени Высшей школы экономики.

На заседании Ученого совета также был награжден директор по корпоративному управлению ЗАО «Делойт и Туш СНГ» Олег Швырков, который преподает на факультете бизнеса и менеджмента. Он получил Благодарность Высшей школы экономики «за успехи в практической подготовке студентов магистратуры факультета бизнеса и менеджмента НИУ ВШЭ по курсу «Корпоративное управление и устойчивое развитие».