Ломазова Ирина Александровна
- Профессор:Факультет компьютерных наук / Департамент программной инженерии
- Заведующий лабораторией:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Начала работать в НИУ ВШЭ в 2010 году.
- Научно-педагогический стаж: 37 лет.
Образование, учёные степени и учёные звания
- 2005Ученое звание: Профессор
- 2002
Доктор физико-математических наук: Вычислительный центр им. А.А. Дородницына РАН, специальность 05.13.17 «Теоретические основы информатики», тема диссертации: Анализ семантических свойств некоторых классов программ и сетей Петри
- 1990Старший научный сотрудник
- 1982
Кандидат физико-математических наук: Институт математики СО АН СССР, специальность 01.01.09 «Дискретная математика и математическая кибернетика», тема диссертации: Семантика и динамическая логика для программ с операторами перехода
- 1977
Специалитет: Новосибирский государственный университет, факультет: математический, специальность «Прикладная математика»
Достижения и поощрения
Учебные курсы (2017/2018 уч. год)
- Научно-исследовательский семинар "Декларативное программирование" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 1-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 3-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 4-й курс, 1-3 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; 1-й курс, 1-4 модуль)Анг
- Архив учебных курсов
Учебные курсы (2016/2017 уч. год)
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Общефакультетский факультатив; где читается: Факультет компьютерных наук; 1-3 модуль)Рус
Подготовка и защита выпускной квалификационной работы (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 4-й курс, 4 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2015/2016 уч. год)
Научно-исследовательская практика (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения"; 2-й курс, 1-3 модуль)Анг
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 4-й курс, 1-3 модуль)Рус
Технологический проект (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 2-й курс, 4 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2014/2015 уч. год)
Научно-исследовательская практика (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения"; 2-й курс, 3 модуль)Анг
Научно-исследовательская практика (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения"; 1-й курс, 2-4 модуль)Рус
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 4-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 3-й курс, 1-4 модуль)Рус
Подготовка и защита выпускной квалификационной работы (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 4-й курс, 4 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения"; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2013/2014 уч. год)
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Отделение программной инженерии; 4-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Отделение программной инженерии; 3-й курс, 1-4 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения"; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2012/2013 уч. год)
- Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 2-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 4-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 3-й курс, 1-4 модуль)Рус
Business Process Managment Systems (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; "Управление разработкой программного обеспечения", "Методы и теория программной инженерии"; 1-й курс, 3, 4 модуль)Анг
Formal Methods in Software Engineering (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; "Методы и теория программной инженерии", "Управление разработкой программного обеспечения"; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2011/2012 уч. год)
- Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 2-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: управление разработкой" (Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 2-й курс, 1-3 модуль)Рус
Business Process Managment Systems (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; "Управление разработкой программного обеспечения", "Методы и теория программной инженерии"; 1-й курс, 3, 4 модуль)Анг
- Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; спец-я "Программная инженерия"; 3-й курс, 2, 3 модуль)Рус
- Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; 2-й курс, 3, 4 модуль)Рус
- Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; 4-й курс, 1, 2 модуль)Рус
Formal Methods in Software Engineering (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; "Управление разработкой программного обеспечения", "Методы и теория программной инженерии"; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2010/2011 уч. год)
- Верификация моделей программ (Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: управление разработкой" (Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 2-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Программная инженерия: управление разработкой" (Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 1-й курс, 2-4 модуль)Рус
- Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; спец-я "Программная инженерия"; 3-й курс, 2, 3 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2009/2010 уч. год)
Выпускные квалификационные работы студентов
- Бакалавриат
Лукьянов Д. В. «Клиент-серверное приложение для игры в модификации Го». Факультет компьютерных наук, 2017
Сероусов В. -. «Анализ интенсивности взаимодействий между узлами компьютерной сети на основе журналов событий». Факультет компьютерных наук, 2017
Кулакова А. С. «Майнинг иерархической модели процесса по журналу событий». Факультет компьютерных наук, 2017
Бегичева А. К. «Алгоритм синтеза абстрактной модели бизнес-процесса по низкоуровневому журналу событий». Факультет компьютерных наук, 2016
Фрумин Д. И. «Верификация вложенных сетей Петри с помощью разверток сетей.». Отделение программной инженерии, 2014
- Магистратура
Нестеров Р. А. «Композициональный синтез моделей процессов на основе паттернов интерфейсов». Факультет компьютерных наук, 2017
Величко С. В. «Извлечение высокоуровневых моделей процессов путём трансформации журналов событий». Факультет компьютерных наук, 2016
Ермакова В. О. «Верификация вложенных сетей Петри с помощью метода развёртки». Факультет компьютерных наук, 2016
Юсупов Р. И. «Извлечение расширенных структур событий из логов». Факультет компьютерных наук, 2016
Бердников И. . «Обеспечение корректного поведения сетей Петри расстановкой приоритетов на переходах». Факультет компьютерных наук, 2016
Манухина Я. А. «Выявление антипаттернов в пользовательских интерфейсах на основе журналов событий». Факультет компьютерных наук, 2016
Голыничев А. В. «Получение высокоуровневой модели бизнес-процесса на основе лог-файла». Факультет компьютерных наук, 2015
Разин А. А. «Синтез модели сети Петри с временными интервалами из логов событий с временными отметками». Факультет компьютерных наук, 2015
Семикина С. А. «Визуализация данных о стрессе». Отделение программной инженерии, 2014
Кузнецова Н. И. «Визуализация случайного леса». Отделение программной инженерии, 2014
Куренкова А. Г. «Программа визуализации различий в логах событий». Отделение программной инженерии, 2014
Лидский Г. А. «Библиотека программ для обеспечения взаимодействия агентов в распределённых системах на основе обмена сообщениями». Отделение программной инженерии, 2013
Новикова Ю. А. «Инструментальная среда имитационного моделирования распределенных систем мобильных агентов». Отделение программной инженерии, 2013
Публикации
20175
- Статья Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Моделирование и анализ информационных систем. 2017. Vol. 24. No. 2. P. 125-140. doi
- Глава книги Lomazova I. A. Resource Equivalences in Petri Nets, in: Application and Theory of Petri Nets and Concurrency. 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / Ed. by W. van der Aalst, E. Best. Vol. 10258: Lecture Notes in Computer Science. Switzerland : Springer International Publishing AG, 2017. doi P. 19-34. doi
- Глава книги Sergey A. Shershakov, Anna A. Kalenkova, Lomazova I. A. Transition Systems Reduction: Balancing between Precision and Simplicity, in: LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC 2017). Netherlands : Springer International Publishing AG, 2017. (в печати)
- Статья R.A. Nesterov, I.A. Lomazova. Using Interface Patterns for Compositional Discovery of Distributed System Models // Proceedings of the Institute for System Programming. 2017. Vol. 29. No. 4. P. 21-38. doi
- Статья Мицюк А. А., Ломазова И. А., ван дер Аалст В. Использование журналов событий для локальной корректировки моделей процессов // Моделирование и анализ информационных систем. 2017. Т. 24. № 4. С. 459-480. doi
20168
- Статья Dworzanski L. W., Lomazova I. A. Automatic construction of systems of distributed components from nested Petri nets models / Пер. с рус. // Programming and Computer Software. 2016. Vol. 42. No. 5. P. 292-306. doi
- Статья Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior using Priorities for Transitions // Fundamenta Informaticae. 2016. Vol. 143. No. 1-2. P. 101-112. doi
- Глава книги Kalenkova A. A., van der Aalst W., Lomazova I. A., Rubin V. Process mining using BPMN: relating event logs and process models, in: MODELS '16 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. NY : ACM, 2016. P. 123-123. doi
- Глава книги Dworzanski L. W., Lomazova I. A. Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets, in: Application and Theory of Petri Nets and Concurrency. 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings Vol. 9698: Lecture Notes in Computer Science. Switzerland : Springer International Publishing AG, 2016. doi P. 325-344. doi
- Глава книги Sergey A. Shershakov, Anna A. Kalenkova, Lomazova I. A. Transition Systems Reduction: Balancing between Precision and Simplicity, in: International Workshop on Algorithms and Theories for the Analysis of Event Data, ATAED 2016; Torun; Poland; 20-21 June 2016 / Ed. by W. van der Aalst, R. Bergenthum, J. Carmona. Vol. 1592. Torun : CEUR Workshop Proceedings, 2016. P. 78-95.
- Глава книги Lomazova I. A., Ermakova V. Verification of Nested Petri Nets Using an Unfolding Approach, in: CEUR Workshop Proceedings Vol. 1591: Petri Nets and Software Engineering. International Workshop, PNSE'16, Torun, Poland, June 20-21, 2016. Proceedings. CEUR Workshop Proceedings, 2016. P. 93-112.
- Статья Л. В. Дворянский, И. А. Ломазова Автоматическое построение распределенных систем компонентов по моделям вложенных сетей Петри // Программирование. 2016. № 5. С. 49-67.
- Статья Ермакова В. О., Ломазова И. А. Трансляция вложенных сетей Петри в классические сети Петри для верификации разверток // Труды Института системного программирования РАН. 2016. Т. 28. № 4. С. 115-136. doi
20153
- Глава книги Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior Using Time Constraints, in: Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings Vol. 2. University of Rzeszow, 2015. P. 19-35.
- Статья Begicheva A., Lomazova I. A. Does your event log fit the high-level process model? // Моделирование и анализ информационных систем. 2015. Vol. 22. No. 3. P. 392-403. doi
- Статья Kalenkova A. A., van der Aalst W., Lomazova I. A., Rubin V. Process Mining Using BPMN: Relating Event Logs and Process Models // Software and Systems Modeling. 2015. P. 1-30. doi
20148
- Глава книги Rubin V., Lomazova I. A., van der Aalst W. Agile Development with Software Process Mining, in: Proceedings of the 2014 International Conference on Software and System Process (ICSSP 2014). NY : ACM, 2014. P. 70-74.
- Глава книги Daniil Frumin, Irina Lomazova. Branching Processes of Conservative Nested Petri Nets, in: VPT 2014. Second International Workshop on Verification and Program Transformation Vol. 28: EPiC Series. EasyChair, 2014. P. 19-35.
- Глава книги Antonina K. Begicheva, Lomazova I. A. Checking Conformance of High-Level Business Process Models to Event Logs, in: Proceedings of the 8th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2014). M. : -, 2014. P. 77-82.
- Глава книги Lomazova I. A., Popova-Zeugmann L. Controlling Petri Net Behavior using Priorities for Transitions, in: Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014. / Ed. by L. Popova-Zeugmann. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org). Berlin : Humboldt University of Berlin, 2014. P. 126-137.
- Статья Vladimir A. Bashkin, Irina A. Lomazova. Decidability of k-Soundness for Workflow Nets with an Unbounded Resource // Transactions on Petri Nets and Other Models of Concurrency. 2014. Vol. 9. P. 1-18.
- Статья Kalenkova A. A., Lomazova I. A. Discovery of Cancellation Regions within Process Mining Techniques // Fundamenta Informaticae. 2014. Vol. 133. No. 2-3. P. 197-209. doi
- Глава книги Rubin V., Mitsyuk A. A., Lomazova I. A., van der Aalst W. Process Mining Can Be Applied to Software Too!, in: Proceedings of the 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement. NY : ACM, 2014. doi Ch. 57. P. 1-8. doi
- Глава книги Kalenkova A. A., Lomazova I. A., van der Aalst W. Process Model Discovery: A Method Based on Transition System Decomposition, in: Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings Vol. 8489: Lecture Notes in Computer Science. Berlin : Springer, 2014. P. 71-90.
20135
- Статья Lomazova I. A., Romanov I. V. Analyzing Compatibility of Services via Resource Conformance // Fundamenta Informaticae. 2013. Vol. 128. No. 1-2. P. 129-141. doi
- Статья Dworzanski L. W., Lomazova I. A. CPN Tools-Assisted Simulation and Verification of Nested Petri Nets / Пер. с рус. // Automatic Control and Computer Sciences. 2013. Vol. 47. No. 7. P. 393-402. doi
- Глава книги Vladimir A. Bashkin, Lomazova I. A. Soundness of Workflow Nets with an Unbounded Resource is Decidable, in: Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13). Satellite events of the 34th International Conference on Application and Theory of Petri Nets and Concurrency. Milano, Italy, June, 2013 Vol. 989: CEUR Workshop Proceedings. , 2013. P. 61-75.
- Глава книги Vladimir A. Bashkin, Lomazova I. A., Novikova Y. A. Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling, in: Parallel Computing Technologies. 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30-October 4, 2013, Proceedings / Ed. by V. Malyshkin. Vol. 7979: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2013. P. 13-25.
- Статья Башкин В. А., Ломазова И. А. О разрешимости бездефектности для сетей потоков работ с неограниченным ресурсом // Моделирование и анализ информационных систем. 2013. Т. 20. № 4. С. 23-40.
20123
- Статья Vladimir A. Bashkin, Lomazova I. A. Cellular Resource-Driven Automata // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257. doi
- Статья Dworzanski L. W., Lomazova I. A. On Compositionality of Boundedness and Liveness for Nested Petri Nets // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 275-293. doi
- Статья Дворянский Л.В., Ломазова И.А. Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools // Моделирование и анализ информационных систем. 2012. Т. 19. № 5. С. 115-130.
20113
- Статья Bashkin V., Lomazova I. A. Modelling multiagent systems with the help of generalized nets of active resources // Cybernetics and Systems Analysis. 2011. No. 47(2). P. 202-209.
- Статья Vladimir A. Bashkin, Lomazova I. A. Resource Driven Automata Nets // Fundamenta Informaticae. 2011. Vol. 109. No. 3. P. 223-236. doi
- Статья В.А. Башкин, И.А. Ломазова Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов // Cybernetics and Systems Analysis. 2011. № 2. С. 31-39.
20101
20081
20071
20061
20041
Гранты
- РФФИ, грант 16-01-00546-а "Применение расширений сетей Петри для моделирования, синтеза и анализа адаптивных распределенных информационных систем" (2016-18 гг.), руководитель.
- Научный фонд НИУ ВШЭ, грант 11-01-0032 Индивидуальный исследовательский проект "Методы анализа семантических свойств распределенных систем с объектной структурой" (2012-13 гг.)
- РФФИ, грант 11-01-00737-а "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.), руководитель.
- Научный фонд НИУ ВШЭ, грант 10-09-0031 Софинансирование гранта РФФИ "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.).
- Научный фонд НИУ ВШЭ, гранты на участие в конференциях
- 6th International Computer Science Symposium in Russia (CSR-2011). The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011). Санкт-Петербург, июнь 2011 г.
- International Conference "Concurrency, Specification and Programming. CS&P'2011", 28 - 30. September 2011. Pułtusk, Poland.
- 7th International Computer Science Symposium in Russia (CSR-2012). The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012). Нижний Новгород, июль 2012 г.
- International Conference "Concurrency, Specification and Programming. CS&P'2012", 26 - 28. September 2012. Berlin, Germany.
- Фонд образовательных инноваций НИУ ВШЭ, гранты на чтение курсов "Формальные методы программной инженерии" (2010-11, 2011-12 уч.годы) и "Системы управления бизнес-процессами" (2011-12 уч. г.) на английском языке, создание проекта совместной магистерской программы "Системная и программная инженерия" (2011 г.), разработку концепции НИС "Верификация моделей программ" в бакалавриате (2011 г.).
Участие в конференциях
2014
- Verification and Program Transformation (VPT 2014), Co-Located with the 26th International Conference on Computer Aided Verification, July 17-18, Vienna, Austria
- Concurrency, Specification and Programming International Workshop (CS&P'2014), September 2014. Berlin, Germany.
2013
- The Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2013) affiliated with the 8th International Computer Science Symposium in Russia (CSR-2013), June 2013, Yekaterinburg, Russia.
- International Workshop on Petri Nets and Software Engineering (PNSE'13) affiliated with the 34th International Conference on Application and Theory of Petri Nets and Concurrency, June 2013, Milano, Italy.
- Concurrency, Specification and Programming International Workshop (CS&P'2013), September 2013, Warsaw, Poland.
- 12th International Conference on Parallel Computing Technologies (PaCT 2013), October 2013, St. Petersburg, Russia.
2012
- The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012) affiliated with the 7th International Computer Science Symposium in Russia (CSR-2012), July 2012. Nizhni Novgorod, Russia.
- Concurrency, Specification and Programming International Workshop (CS&P'2012), September 2012. Berlin, Germany.
2011
- The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) affiliated with the 6th International Computer Science Symposium in Russia (CSR-2011), June 2011. St. Petersburg, Russia.
- Concurrency, Specification and Programming International Workshop (CS&P'2011), September 2011. Pułtusk, Poland.
2010
- The Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) affiliated with 5th International Computer Science Symposium in Russia (CSR-2010), June 2010. Kazan, Russia.
- Concurrency, Specification and Programming International Workshop (CS&P'2010), September 2010. Berlin, Germany.
Участие в редколлегиях научных журналов
С 2016г.: член редколлегии журнала «Труды Института системного программирования РАН».
С 2006г.: член редколлегии журнала «Моделирование и анализ информационных систем».
Научный руководитель диссертационных исследований
на соискание ученой степени доктора наук
Башкин Владимир Анатольевич. Докторская диссертация по специальности 05-13-17 на тему "Некоторые методы ресурсного анализа сетей Петри". Защищена в Вычислительном центре им. А.А. Дородницына РАН 29 мая 2014. Автореферат.
на соискание ученой степени кандидата наук
(совместно с Геннадием Семеновичем Осиповым) Шушакова Анна Геннадьевна. Кандидатская диссертация по специальности 05-13-17 на тему "Исследование методов представления и обработки знаний средствами дескриптивной логики" защищена в Институте программных систем РАН в 2002г.
Башкин Владимир Анатольевич. Кандидатская диссертация по специальности 05-13-17 на тему "Бисимуляция ресурсов в сетях Петри" защищена в Ярославском госуниверситете им. П.Г. Демидова в 2003г.
Опыт работы
Красноярский госуниверситет, ассистент, старший преподаватель, доцент
Институт программных систем РАН, с.н.с., г.н.с.
Российский государственный социальный университет, профессор
Дополнительные сведения
- Член IEEE Task Force on Process Mining
- Член программных комитетов конференций и семинаров:
International Conference on Business Process Management (BPM) (2016, 2017)
International Conference on Application and Theory of Petri Nets and Concurrency (2013, 2014, 2015),
International Conference on Perspectives in Business Informatics Research (2015, 2016),
International Workshop on Verification of Embedded Systems (VES) (2013),
International Workshop on Verification and Program Transformation (2014),
Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV) (2012, 2013, 2014, 2015, 2016, 2017),
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) (2012, 2013, 2014, 2015, 2016, 2017),
International Conference on Tools and Methods of Program Analysis (TMPA) (2017),
International Conference on Analysis of Images, Social Networks, and Texts (AIST) (2017).
- Руководитель научного семинара "Процессно-ориентированные информационные системы".
- Член Диссертационного совета Д 212.048.09
VI Международная конференция по анализу изображений, социальных сетей и текстов (АИСТ)
Международная конференция по анализу изображений, социальных сетей и текстов АИСТ состоялась 27-29 июля в Москве при поддержке Высшей школы экономики. В этом году на конференцию было подано 130 научных работ из разных, в том числе зарубежных, университетов. Лучшие работы были отобраны признанными специалистами в области анализа данных со всего мира, они войдут в сборник трудов конференции и будут опубликованы в серии Lecture Notes in Computer Science издательства Springer.
Объявлены результаты кампании по академическим надбавкам 2017 г.
Подведены итоги кампании 2017 года по академическим надбавкам.
Результаты совместной работы с исследователями из Университета им. Гумбольдта в Берлине представлены на международной конференции CoDIT 2017
Научно-учебная лаборатория ПОИС уже несколько лет тесно сотрудничает с Институтом информатики Университета им. Гумбольдта в Берлине в области моделирования и анализа процессов в распределенных системах с помощью сетей Петри. По результатам этой работы на конференции CoDIT 2017 (http://codit2017.com/), которая прошла 5–7 апреля в городе Барселона, Испания, был представлен совместный доклад заведующей лабораторией ПОИС Ирины Ломазовой, профессора университета им. Гумбольдта в Берлине Лушки Поповой-Цойгманн и студента магистратуры этого же университета Артура Бартелса.
В учебном центре «Вороново» состоялась зимняя школа по компьютерным наукам
С 4 по 8 февраля 2017 года в учебном центре «Вороново» прошла Зимняя школа по компьютерным наукам для поступающих в магистратуру. Студенты смогли познакомиться с руководителями магистерский программ и преподавателями факультета, пообщаться друг с другом, принять участие в телемосте с сотрудниками Fermi National Accelerator Laboratory. Гостями мероприятия стали представители Сбербанка, компании «SAMSUNG» и компании «Яндекс».
From Chaotic Dynamics to Process Mining
Sergey Shershakov is 2012 graduate of the HSE master’s programme in System and Software Engineering, lecturer of a course in Data Algorithms and Structures, a researcher at the Laboratory of Process-Aware Information Systems (PAIS Lab), and participant of the Young Faculty Support Programme in the Category ‘New Researchers’. Sergey told us what Process Mining is, how to keep your knowledge up-to-date without working in the industry, and why HSE graduates don’t have to ‘forget everything they’ve been taught’.
От динамического хаоса к Process Mining
Сергей Шершаков, выпускник магистратуры по специальности «Системная и программная инженерия» 2012 года и сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем рассказывает о науке и преподавании: что такое Process Mining, как сохранять актуальность своих знаний, не работая в индустрии, почему выпускникам Вышки не надо «забывать все, чему их учили» и многом другом.
Подведены итоги открытого конкурса НИРС
В этом году в конкурсе на лучшую студенческую научно-исследовательскую работу кроме студентов Вышки впервые смогли принять участие студенты других российских и зарубежных вузов. Всего из 1256 работ, отправленных на конкурс, около 200 были поданы участниками не из ВШЭ.
Статья сотрудников факультета получила международное признание
Статья “Process mining using BPMN: relating event logs and process models” сотрудников Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) факультета компьютерных наук доцента Анны Каленковой и профессора Ирины Ломазовой названа лучшей статьей международного рецензируемого журнала Software and System Modeling за прошедший год. Работа написана в соавторстве с профессором Технического университета Эйндховена Вилом ван дер Аалстом и ведущим ИТ-архитектором и разработчиком Владимиром Рубиным.
Выездной семинар факультета компьютерных наук в «Вороново»
С 9 по 11 сентября в УЦ «Вороново» состоялся первый выездной семинар для сотрудников факультета компьютерных наук НИУ ВШЭ. На два с половиной дня площадка учебного центра превратилась в пространство для работы проектных команд, обсуждения перспектив развития международного сотрудничества, подведения итогов приемной кампании, анализа бакалаврских и магистерских образовательных программ, реализуемых на факультете.
Сотрудники Вышки отмечены наградами Министерства образования и науки РФ
29 апреля на заседании Ученого совета сотрудникам Высшей школы экономики были вручены ведомственные награды.
Итоги конкурса проектов РФФИ
Подведены итоги конкурса проектов Российского фонда фундаментальный исследований (РФФИ). Среди победителей — как профессора, так и молодые преподаватели факультета компьютерных наук Высшей школы экономики.
Выездной семинар «Процессно-ориентированные информационные системы»
27-29 ноября в учебном центре «Вороново» состоялся выездной семинар «Процессно-ориентированные информационные системы» научно-учебной лаборатории ПОИС под руководством профессора И.А.Ломазовой. В мероприятии приняли участие сотрудники лаборатории и исследователи из Москвы и Ярославля. Участники семинара обсудили актуальные научные исследования в области process mining и в смежных областях.
Как перевестись с платного места на бюджет: личный опыт
Студент четвертого курса образовательной программы «Программная инженерия» факультета компьютерных наук Иван Шугуров в 2012 году поступил в Высшую школу экономики на коммерческое место, потому что для бюджетного ему не хватило трех баллов. Поначалу успехи в учебе были средними, но потом он улучшил свои результаты и смог перевестись с коммерческого места на бюджет. Кроме того, в этом году за академические успехи Иван получил стипендию Президента РФ и стипендию имени Ильи Сегаловича.
«Сейчас из компьютерных наук рождается наука о данных»
Ведущий ученый в области компьютерных наук Вил ван дер Аалст, профессор кафедры математических и компьютерных наук Технического университета Эйндховена, Нидерланды, возглавил Международную лабораторию процессно-ориентированных информационных систем ВШЭ.
Зимняя школа по программной инженерии
В начале февраля прошла Зимняя школа по программной инженерии для абитуриентов магистратуры ВШЭ.
«Каждый год приносит новые идеи»
Римма Ахметсафина, заместитель заведующего отделением программной инженерии ВШЭ — один из лучших преподавателей, читавших лекции и проводивших семинарские занятия в 2011 году, по мнению студентов.
Новые программы и подразделения ВШЭ
На заключительном в 2010 году заседании Ученого совета ГУ-ВШЭ были приняты решения об открытии очередных образовательных программ, создании нескольких научных подразделений, а также утверждено положение о наградах Высшей школы экономики.
