• 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

Тема «магистратура» – Новости

Прошла Зимняя школа по компьютерным наукам для поступающих в магистратуру

Прошла Зимняя школа по компьютерным наукам для поступающих в магистратуру
С 1 по 5 февраля 2023 года в учебном центре «Вороново» состоялась традиционная Зимняя школа по компьютерным наукам для поступающих в магистратуру.

Состоялся осенний день открытых дверей ФКН 2022

Состоялся осенний день открытых дверей ФКН 2022
19–20 ноября на факультете компьютерных наук прошел день открытых дверей для абитуриентов бакалавриата и магистратуры. Мероприятие прошло в Центре культур на Покровском бульваре.

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

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

«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»

«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»
В 2017 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе,  рассказывает ее руководитель Александр Петренко.

В декабрьском номере HERB сотрудники базовой кафедры рассказали об образовании в области ИТ

В конце декабря 2016 г. вышел номер журнала НИУ ВШЭ Higher Education in Russia and Beyond (HERB), посвященный компьютерным наукам – Computer Science: History of Emerging Discipline. В его подготовке в качестве авторов статей приняли непосредственное участие сотрудники базовой кафедры "Системное программирование".