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

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

CRC Press, 2021.

Статья
Equivalence checking and intersection of deterministic timed finite state machines

Bresolin D., El-Fakih K., Villa T. et al.

Formal Methods in System Design. 2022.

Глава в книге
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

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

Математические факультативы на ФКН

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

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

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

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

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

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

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

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

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