• 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

Новости

Открытая конференция ИСП РАН им. В.П. Иванникова

Открытая конференция ИСП РАН им. В.П. Иванникова
Открытая конференция ИСП РАН им. В.П. Иванникова посвящена разработке инновационных технологий в области системного программирования и проводится ежегодно при поддержке IEEE, IEEE Computer Society, Российской академии наук, а также партнеров Института. В этом году конференция проводится в честь 75-летия отечественных информационных технологий.

На ФКН прошла Неделя цифровых знаний

На ФКН прошла Неделя цифровых знаний
27 февраля - 4 марта прошла Неделя цифровых знаний, которая была организована ФКН совместно с базовой кафедрой ГК «Открытие».

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

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

На ФКН Вышки прошла вторая зимняя школа по программной инженерии

На ФКН Вышки прошла вторая зимняя школа по программной инженерии
В этом году для участия во второй зимней школе по программной инженерии на факультете компьютерных наук ВШЭ было подано 625 заявок из 90 городов. Основными темами стали архитектура ПО, мобильная разработка, цифровые двойники, искусственный интеллект, разработка облачных сервисов, API, техдолг, QA, программные системы, Flutter, распределенные системы.

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

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

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

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

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

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

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

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

Подведены итоги первого этапа конкурса проектных групп по направлению «Программная инженерия»

Подведены итоги первого этапа конкурса проектных групп по направлению «Программная инженерия»
В конце сентября были подведены итоги первого этапа конкурса проектных групп, на котором предварительные результаты представили проектные группы под руководством Николая Чуйкина и Алексея Незнанова.

Фомичев М.И. защитил кандидатскую диссертацию

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