Подведены итоги конкурса НИРС-2021
В номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов бакалавриата и специалитета» третье место заняла работа «Algorithm for checking resource bisimilarity in Petri nets: applicability evaluation», выполненная студентом 3 курса Агроскиным Александром Викторовичем.
Научный руководитель - заведующая лабораторией Ломазова Ирина Александровна.
Поздравляем коллег!
Лекция "КОГДА КОМПЬЮТЕРЫ БЫЛИ БОЛЬШИМИ"
5 апреля в рамках ежегодных Дней комьютерных наук Ирина Александровна Ломазова, заведующая лабораторией ПОИС, прочитала лекцию о том, как все начиналось в компьютерных науках. Как они возникали и о чем были первые задачи? Почему понадобилась теория программирования, ведь, казалось бы, достаточно просто уметь программировать? Как связаны компьютерные науки с математикой, лингвистикой, биологией?
Видеозапись лекции доступна по ссылке - https://www.youtube.com/watch?v=6SCCG1R90zI
Объявлены лучшие преподаватели НИУ ВШЭ 2020
В Высшей школе экономики прошли десятые выборы лучших преподавателей.
Семинар ПОИС: Простые алгоритмы анализа сетей Петри
На очередном заседании нашего семинара выступил ведущий научный сотрудник лаборатории Владимир Захаров. Тема его доклада: «Простые алгоритмы анализа сетей Петри»
Результаты совместной работы с исследователями из Университета им. Гумбольдта в Берлине представлены на международной конференции CoDIT 2017
Научно-учебная лаборатория ПОИС уже несколько лет тесно сотрудничает с Институтом информатики Университета им. Гумбольдта в Берлине в области моделирования и анализа процессов в распределенных системах с помощью сетей Петри. По результатам этой работы на конференции CoDIT 2017 (http://codit2017.com/), которая прошла 5–7 апреля в городе Барселона, Испания, был представлен совместный доклад заведующей лабораторией ПОИС Ирины Ломазовой, профессора университета им. Гумбольдта в Берлине Лушки Поповой-Цойгманн и студента магистратуры этого же университета Артура Бартелса.
Проект научного сотрудника лаборатории ПОИС получил поддержку Научного фонда
В конце 2016 года были подведены итоги осенних конкурсов Научного фонда НИУ ВШЭ. В число победителей конкурса индивидуальных исследовательских проектов вошёл проект старшего преподавателя Департамента программной инженерии, научного сотрудника НУЛ ПОИС Леонида Дворянского “Поведенческий анализ вложенных сетей Петри с помощью ловушек и сифонов (ко-ловушек)”.
Конференция лабораторий ФКН
23 декабря на факультете состоялась Конференция лабораторий ФКН, организованная научно-учебной лабораторией процессно-ориентированных информационных систем.
В мероприятии приняли участие сотрудники лабораторий факультета для обмена опытом и нахождения точек пересечения в исследовательских задачах. Из приглашенных гостей были Башкин Александр (Ярославский государственный университет им. П.Г. Демидова), Бацын Михаил, Колданов Пётр, Пономаренко Александр (НИУ ВШЭ Нижний Новгород), а также Станислав Кикоть (Биркбек, Лондонский университет) и Чекалина Виктория (Яндекс)
Статья сотрудников факультета получила международное признание
Статья “Process mining using BPMN: relating event logs and process models” сотрудников Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) факультета компьютерных наук доцента Анны Каленковой и профессора Ирины Ломазовой названа лучшей статьей международного рецензируемого журнала Software and System Modeling за прошедший год. Работа написана в соавторстве с профессором Технического университета Эйндховена Вилом ван дер Аалстом и ведущим ИТ-архитектором и разработчиком Владимиром Рубиным.
Семинар лаборатории ПОИС: Process mining: теория, методы, инструменты
На очередном заседании нашего семинара выступила Ломазова Ирина Александровна, заведующая лабораторией ПОИС. Тема её доклада: «Process mining: теория, методы, инструменты»
Семинар лаборатории ПОИС: Знания и мнения агентов в облаке
На очередном заседании нашего семинара выступил старший научный сотрудник лаборатории теоретического программирования Института систем информатики им. А.П. Ершова Шилов Николай. Тема его доклада: «Знания и мнения агентов в облаке»