• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Simulating Petri Nets with Inhibitor and Reset Arcs
В печати

Pavel Pertsukhov, Mitsyuk A. A.

Proceedings of the Institute for System Programming of the RAS. 2019.

Глава в книге
A Method to Improve Workflow Net Decomposition for Process Model Repair
В печати

Semyon E. Tikhonov, Mitsyuk A. A.

In bk.: Analysis of Images, Social Networks and Texts. 8th International Conference AIST 2019. Springer, 2019.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Университетская жизнь – Новости

Поздравляем сотрудников департамента с зачислением в кадровый резерв на 2018 год

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

Подведены итоги открытого конкурса НИРС

На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2017 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».

Профессор департамента ПИ Черткова Елена Александровна — Почетный профессор Кызылординского государственного университета имени Коркыт Ата

Кызылординский государственный университет им. Коркыт Ата – лауреат Международной премии «Признание» Евразийского экономического Союза, совместно с Министерством образования и науки Республики Казахстан 16-18 ноября 2017 года провел мероприятия, связанные с 80-летием университета, на которых Чертковой Елене Александровне было присвоено звание «Почетный профессор Кызылординского государственного университета имени Коркыт Ата» и вручен диплом почетного профессора.

Поздравляем Сергея Викторовича Зыкова с присуждением ученой степени доктора технических наук

Решением диссертационного совета Уфимского государственного авиационного технического университета доценту департамента программной инженерии Зыкову Сергею Викторовичу присуждена ученая степень доктора технических наук. 

Сотрудники факультета компьютерных наук получили награды, приуроченные к юбилею университета

Сотрудники факультета компьютерных наук получили награды, приуроченные к юбилею университета
Наши коллеги награждены за заслуги в профессиональной деятельности, многолетний плодотворный труд и в связи с 25-летием со дня образования Национального исследовательского университета «Высшая школа экономики».

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Блокчейн, финтех и банки будущего: итоги первой школы по финансовым технологиям в «Сириусе»

Блокчейн, финтех и банки будущего: итоги первой школы по финансовым технологиям в «Сириусе»
С 4 по 7 октября на базе образовательного центра «Сириус» состоялась первая студенческая научно-образовательная школа по финансовым технологиям цифровой экономики России — совместный проект Фонда «Талант и успех» и Банка России, организованный в рамках Форума инновационных финансовых технологий Finopolis. Основная цель проекта — знакомство студентов с трендами и инновациями в сфере финансовых технологий, перспективами развития и реальными запросами индустрии, обучение практическим навыкам развития финтех-проектов.

«Золотая Вышка»-2017: победителей будут выбирать по-новому

«Золотая Вышка»-2017: победителей будут выбирать по-новому
23 октября стартует первый этап ежегодного конкурса «Золотая Вышка». В декабре эта премия будут вручаться уже в 17-й раз. Читайте, что нового предусмотрено в «антиюбилейной» премии и выдвигайте своих кандидатов.

Студенты факультета компьютерных наук заняли 1 место на BPI Challenge 2017

Студенты факультета компьютерных наук заняли 1 место на BPI Challenge 2017
Студенты 4-го курса образовательной программы «Программная инженерия» — Елизавета Поваляева, Артём Фоменко и Исмаил Хамитов заняли первое место в студенческой номинации соревнования по анализу бизнес-процессов BPI Challenge 2017. Своё решение они представили в рамках 13-го международного семинара по анализу бизнес-процессов (13th International Workshop on Business Process Intelligence 2017).

Подведены итоги выборов лучших преподавателей года

Подведены итоги традиционного выбора лучших преподавателей Высшей школы экономики 2017 года.