• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Наука

Сотрудники лаборатории ПОИС представили свои работы на конференции TMPA

3–4 марта 2017 года в Москве прошла 4-ая международная научно-практическая конференция инструменты и методы анализа программ TMPA (http://tmpaconf.org/). На ней из лаборатории ПОИС выступили: научный сотрудник Алексей Мицюк и стажёр-исследователь Роман Нестеров

Семинар ПОИС: BPI-Challenge 2015 — разбор решения «Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement»

На очередном заседании нашего семинара выступили студенты ФКН Поваляева Елизавета и Александр Пластинин. Тема их доклада: «BPI-Challenge 2015 — разбор решения "Benchmarking of Five Dutch Municipalities with Process Mining Techniques Reveals Opportunities for Improvement"»

Семинар ПОИС: Nested Petri Nets: behaviour analysis and time semantics

На очередном заседании нашего семинара выступил научный сотрудник лаборатории ПОИС Леонид Дворянский. Тема его доклада: «Nested Petri Nets: behaviour analysis and time semantics»

Семинар ПОИС: BPI Challenge 2016 — разбор решения «Analyzing customer interactions at the Dutch Employee Insurance Agency»

На очередном заседании нашего семинара выступили студенты ФКН Ложков Антон, Пономарева Анастасия и Никитина Наталья. Тема их доклада: «BPI Challenge 2016 — разбор решения "Analyzing customer interactions at the Dutch Employee Insurance Agency"»

Проект научного сотрудника лаборатории ПОИС получил поддержку Научного фонда

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

Конференция лабораторий ФКН

23 декабря на факультете состоялась Конференция лабораторий ФКН, организованная научно-учебной лабораторией процессно-ориентированных информационных систем.

В мероприятии приняли участие сотрудники лабораторий факультета для обмена опытом и нахождения точек пересечения в исследовательских задачах. Из приглашенных гостей были Башкин Александр (Ярославский государственный университет им. П.Г. Демидова), Бацын Михаил, Колданов Пётр, Пономаренко Александр (НИУ ВШЭ Нижний Новгород), а также Станислав Кикоть (Биркбек, Лондонский университет) и Чекалина Виктория (Яндекс)

Семинар ПОИС: Адаптивный структурно-параметрический синтез дискретных систем с заданным поведением

На очередном заседании нашего семинара выступил кандидат технических наук, заведующий кафедрой информатики и информационных технологий Белгородского государственного аграрного университета имени В.Я. Горина, Петросов Давид Арегович. Тема его доклада: «Адаптивный структурно-параметрический синтез дискретных систем с заданным поведением»

Семинар лаборатории ПОИС: Композициональный синтез моделей процессов на основе паттернов интерфейсов

На очередном заседании нашего семинара выступил студент ФКН Нетсров Роман. Тема его доклада: «Композициональный синтез моделей процессов на основе паттернов интерфейсов»

В лаборатории открыта вакансия «программист-исследователь»

В прошлом году коллективом Лаборатории ПОИС был выигран конкурс научно-исследовательских проектов, проводимый Российским Фондом  Фундаментальных Исследований совместно с Правительством города Москвы, «мол_а_мос» 2015 и проект продолжается!

Статья сотрудников факультета получила международное признание

Статья “Process mining using BPMN: relating event logs and process models” сотрудников Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) факультета компьютерных наук доцента Анны Каленковой и профессора Ирины Ломазовой названа лучшей статьей международного рецензируемого журнала Software and System Modeling за прошедший год. Работа написана в соавторстве с профессором Технического университета Эйндховена Вилом ван дер Аалстом и ведущим ИТ-архитектором и разработчиком Владимиром Рубиным.