• 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

Тема «идеи и опыт» – Новости

Учебные ассистенты: как и зачем они появились в Вышке и почему это важно

Учебные ассистенты: как и зачем они появились в Вышке и почему это важно
Более 10 лет в Высшей школе экономики функционирует институт учебных ассистентов. Зародившееся в западных университетах явление пришло в Вышку, эволюционировало и стало неотъемлемой частью жизни студентов и преподавателей. О появлении учебных ассистентов, их важности и аспектах работы стажеры Проектно-учебной лаборатории экономической журналистики НИУ ВШЭ поговорили с проректором Сергеем Рощиным, профессором Фуадом Алескеровым и самими ассистентами.

Сергей Шершаков о роли программного инженера

Сергей Шершаков о роли программного инженера
Мы поговорили с Сергеем Шершаковым, заместителем руководителя департамента программной инженерии и академическим руководителем магистратуры «Системная и программная инженерия», о том, кто такой программный инженер и чем он отличается от других «технарей», что такое инженерная культура и каким должно быть развитие ПИ на ФКН

Открытая конференция по компиляторным технологиям

Открытая конференция по компиляторным технологиям проводится по инициативе ИСП РАН и Samsung и посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др