• 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

Образование – Новости

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

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

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

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

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

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

На ФКН подвели итоги конкурса стипендии «Молодой предприниматель-2021»

На ФКН подвели итоги конкурса стипендии «Молодой предприниматель-2021»
25 ноября 2021 года успешно прошла защита проектов в рамках конкурса стипендии «Молодой предприниматель» в номинации «Лучшая идея предпринимательского проекта».

Открывается конкурс на замещение должностей профессорско-преподавательского состава

Открывается конкурс на замещение должностей профессорско-преподавательского состава
Высшая школа экономики объявляет о старте конкурса на замещение 528 должностей профессорско-преподавательского состава (ППС) по кафедрам, департаментам и факультетам в Москве, Санкт-Петербурге, Нижнем Новгороде и Перми. Конкурсный отбор объявили 110 подразделений университета.

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

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

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

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

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

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

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

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

Конференция «Облачные вычисления. Образование. Исследования. Разработка»

На сайте конференции «Облачные вычисления. Образование. Исследования. Разработка» опубликована программа мероприятия.