• 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

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

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

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

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

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

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

Александру Константиновичу Петренко — 70!

Александру Константиновичу Петренко — 70!
11 июня Александру Константиновичу Петренко, профессору и академическому руководителю образовательной программы "Системное программирование", исполнилось 70!

Арутюн Аветисян награжден медалью ордена «За заслуги перед Отечеством»

Арутюн Аветисян награжден медалью ордена «За заслуги перед Отечеством»
Профессор Арутюн Аветисян, заведующий кафедрой «Системное программирование» и директор ИСП РАН, за большой вклад в развитие науки и многолетнюю добросовестную работу награжден медалью ордена «За заслуги перед Отечеством» 2 степени.

60 лет доценту Карпову Владимиру Ефимовичу

60 лет доценту Карпову Владимиру Ефимовичу
Доценту кафедры "Системное программирование" Владимиру Ефимовичу Карпову 10 июня исполняется 60 лет!

На ФКН прошло третье заседание Попечительского совета

На ФКН прошло третье заседание Попечительского совета
20 апреля состоялось третье заседание Попечительского совета ФКН НИУ ВШЭ, на котором были представлены итоги работы за 2020, а также намечены цели на будущий год.

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

Открытая конференция ИСП РАН им. В.П. Иванникова
Открытая конференция ИСП РАН им. В.П. Иванникова посвящена разработке инновационных технологий в области системного программирования и проводится ежегодно при поддержке IEEE, IEEE Computer Society, Российской академии наук, Фонда перспективных исследований, ФСТЭК России, а также партнеров Института (Samsung, Huawei, Dell и др.). В этом году конференция приурочена к 80-летию со дня рождения основателя и первого директора ИСП РАН – академика В.П. Иванникова.

Третья международная конференция «Иванниковские чтения»

Третья международная конференция «Иванниковские чтения»
25-26 сентября в городе Орел состоится третья Международная конференция "Иванниковские чтения".

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

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