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

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

CRC Press, 2021.

Статья
Homing Sequence Derivation with Quantified Boolean Satisfiability

Tu K., Wang H., Jiang J. R. et al.

IEEE Transactions on Computers. 2022. Vol. 71. No. 3. P. 696-711.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

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

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

arxiv.org. Computer Science. Cornell University, 2020

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

Стипендия ИСП РАН

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

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ
Завершились защиты курсовых работ и проектов студентов образовательной программы Программная инженерия, которые проходили с 18 апреля по 24 мая.

На ФКН прошли Дни компьютерных наук-2018

На ФКН прошли Дни компьютерных наук-2018
Празднование Дня рождения факультета, вручение стипендии Ильи Сегаловича, лекции от Яндекса, JetBrains, Сбербанка, КриптоПро, SAS и других компаний, Computer Science и космос, Computer Science и лингвистика... И, конечно, Дни открытых дверей. Cамая насыщенная событиями неделя на ФКН в этом году выпала на 9-15 апреля. По свежим следам – небольшой итог.

Поздравляем студентов 3 курса, успешно защитивших курсовые работы

Завершилась защита курсовых работ и проектов студентов 3 курса образовательной программы Программная инженерия, которая проходила 20 апреля.