Заведующий лабораторией - Нестеров Роман Александрович
Научный руководитель - Ирина Александровна Ломазова
Почётный научный руководитель - Вил ван дер Аалст
Менеджер - Кузнецова Ксения Антоновна
Мы в составе
IEEE Task Force on Process Mining
Мы в соцсетях
Твиттер
Заведующий лабораторией - Нестеров Роман Александрович
Научный руководитель - Ирина Александровна Ломазова
Почётный научный руководитель - Вил ван дер Аалст
Менеджер - Кузнецова Ксения Антоновна
В понедельник, 7-го апреля, Ольга Кочетова (студент отделения программной инженерии НИУ ВШЭ) представила доклад на тему: Improvements to Translation of LTL Formula to Buchi Automata.
