• 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.

Тема «профессора» – Новости

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

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

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

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

Названы победители «Золотой Вышки»

На антиюбилейную «Золотую Вышку» было выдвинуто рекордное количество претендентов — 355 человек в 10 номинациях. Из них в два этапа были выбраны победители в каждой номинации. Кроме того, второй раз был выбран победитель «Золотой ссылки» — «премии в премии», которая присуждается самому высокоцитируемому ученому.  Награждение всех победителей прошло 1 декабря.

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

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

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

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

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

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

Объявлены результаты кампании по академическим надбавкам 2017 г.

Подведены итоги кампании 2017 года по академическим надбавкам.

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

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

Два проекта преподавателей факультета получили поддержку Научного фонда

В конце 2016 года были подведены итоги осенних конкурсов Научного фонда НИУ ВШЭ. В число победителей конкурса индивидуальных исследовательских проектов вошли проект профессора Департамента больших данных и информационного поиска Александра Шаповала “Динамика солнечных пятен на временных масштабах, протяжённостью от нескольких дней до нескольких лет” и проект старшего преподавателя Департамента программной инженерии Леонида Дворянского “Поведенческий анализ вложенных сетей Петри с помощью ловушек и сифонов (ко-ловушек)”.

Новый учебник преподавателей ДПИ

В сентябре 2016 года в издательстве ДМК-Пресс выходит  учебник "Дискретная математика. Модулярная алгебра, криптография, кодирование".  Авторы учебника – Авдошин Сергей Михайлович, профессор, руководитель департамента программной инженерии и Набебин Алексей Александрович, доцент департамента программной инженерии.