.png "Защита кандидатской диссертации Шершакова Сергея Андреевича")
Защита кандидатской диссертации Шершакова Сергея Андреевича
Научному сотруднику лаборатории Шершакову Сергею присуждена степень кандидата компьютерных наук. Работа "Методы и инструменты повышения эффективности алгоритмов майнинга процессов" была выполнена под научным руководством Ирины Александровны Ломазовой, заведущей лабораторией.
Поздравляем коллег!
"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"
Алексей Мицюк, доцент департамента программной инженерии и старший научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС), рассказал о своих исследованиях, проектах и о плюсах научной работы.
Подведены итоги конкурса НИРС-2020
Антон Ригин, студент 2 курса магистерской программы "Системная и программная инженерия", занял 1 место в номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов магистратуры и выпускников 2020 года».
Работа на тему «Reference and data semantic-based simulator of Petri Nets extension with the use of Renew tool» выполнена под руководством научного сотрудника НУЛ ПОИС Шершакова Сергея Андреевича.
Поздравляем коллег!
XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020
Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»
Прошла международная онлайн-конференция MACSPro-2020
22-24 октября прошла онлайн-конференция MACSPro-2020 (Modeling and Analysis of Complex Systems and Processes), посвященная моделированию и анализу сложных систем и процессов. Ее цель — обмен опытом между исследователями, работающими над теоретическими и практическими составляющими анализа сложных систем в различных отраслях, от астрофизики и биоинформатики до бизнеса.
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
О проблеме эквивалентности последовательных программ с процедурами
Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории
Объявлены лучшие преподаватели НИУ ВШЭ 2020
В Высшей школе экономики прошли десятые выборы лучших преподавателей.
Аспирант ФКН о совместной аспирантуре, сложных системах и работе в пандемию
Для Романа Нестерова, аспиранта и стажера-исследователялаборатории процессно-ориентированных информационных систем (ПОИС), удаленная работа стала нормой задолго до этой весны: из-за обучения в двойной аспирантуре он постоянно работает с коллегами из Италии. Роман рассказал о своих исследованиях и о том, как можно организовать совместную аспирантуру.