Ломазова Ирина Александровна
- Профессор:Факультет компьютерных наук / Департамент программной инженерии
- Заведующий лабораторией:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Ординарный профессор (2018)
- Начала работать в НИУ ВШЭ в 2010 году.
- Научно-педагогический стаж: 43 года.
Полномочия / обязанности
- Разработка стратегии развития лаборатории
- Руководство научным семинаром лаборатории
- Выполнение исследований по тематике лаборатории
- Консультация стажёров-исследователей
Образование, учёные степени и учёные звания
- 2005Ученое звание: Профессор
- 2002Доктор физико-математических наук: Вычислительный центр им. А.А. Дородницына РАН, специальность 05.13.17 «Теоретические основы информатики», тема диссертации: Анализ семантических свойств некоторых классов программ и сетей Петри
- 1990Старший научный сотрудник
- 1982Кандидат физико-математических наук: Институт математики СО АН СССР, специальность 01.01.09 «Дискретная математика и математическая кибернетика», тема диссертации: Семантика и динамическая логика для программ с операторами перехода
- 1977
Специалитет: Новосибирский государственный университет, факультет: математический, специальность «Прикладная математика», квалификация «Математик»
Достижения и поощрения
- Медаль "Признание - 10 лет успешной работы" НИУ ВШЭ (декабрь 2020)
- Почетная грамота Высшей школы экономики (октябрь 2020)
- Почетный работник высшего профессионального образования Российской Федерации (март 2016)
- Почетная грамота Высшей школы экономики (декабрь 2015)
Лауреат премии "Золотая Вышка" – 2017 в номинации Успех педагога
Лучший преподаватель – 2024, 2023, 2022, 2020, 2017, 2016, 2013, 2012, 2011
Надбавка за академическую работу (2017-2018)
Надбавка за публикацию в журнале из Списка А (и приравненном к нему научном издании) (2023-2024)
Надбавка за публикацию в международном рецензируемом научном издании (2022-2023)
Надбавка за статью в зарубежном рецензируемом журнале (2015-2017, 2013-2015, 2011-2013)
Конкурс лучших русскоязычных научных и научно-популярных работ работников НИУ ВШЭ – 2024, дополнительно отмеченная работа
Учебные курсы (2024/2025 уч. год)
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2-4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Научно-исследовательский семинар "Автоматы и модели процессов" (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Формальные методы программной инженерии (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2-4 модуль)Рус
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Автоматы и модели процессов" (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 2-4 модуль)Анг
Учебные курсы (2021/2022 уч. год)
- Научно-исследовательский семинар "Автоматы и модели процессов" (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Research Seminar "Software Engineering: Development Management"-1 (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Анг
- Research Seminar "Software Engineering: Development Management"-2 (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Анг
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Анг
Учебные курсы (2020/2021 уч. год)
- Научно-исследовательский семинар "Автоматы и модели процессов" (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 2 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Анг
Публикации55
- Глава книги Julio C. Carrasquel, Irina A. Lomazova. Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives, in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program Analysis / Ed. by R. Yavorskiy, A. R. Cavalli, Anna Kalenkova. Vol. 1559: CCIS . Springer, 2024. doi P. 94-106. doi
- Глава книги Lomazova I. A., Mitsyuk A. A., Rivkin A. Typed Petri Nets with Variable Arc Weights, in: Business Process Management Workshops. BPM 2023 International Workshops, Utrecht, The Netherlands, September 11–15, 2023, Revised Selected Papers Vol. 492. Switzerland : Springer, 2024. doi P. 483-495. doi
- Статья Nikolai M. Suvorov, Irina A. Lomazova. Verification of data-aware process models: Checking soundness of data Petri nets // Journal of Logical and Algebraic Methods in Programming. 2024. Vol. 138. Article 100953. doi
- Препринт Begicheva A., Lomazova I. A., Nesterov R. Discovering Hierarchical Process Models: an Approach Based on Events Clustering / Cornell University. Series Computer Science "arxiv.org". 2023. doi (в печати)
- Статья Nesterov R., Bernardinello L., Lomazova I. A., Pomello L. Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach // Software and Systems Modeling. 2023. Vol. 22. P. 351-375. doi
- Статья Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L. Soundness-preserving composition of synchronously and asynchronously interacting workflow net components // Journal of Parallel and Distributed Computing. 2023. Vol. 179. Article 104704. doi
- Глава книги Bernardinello L., Irina Lomazova, Nesterov R., Pomello L. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms, in: Transactions on Petri Nets and Other Models of Concurrency XVI Vol. 13220: Lecture Notes in Computer Science. Springer, 2022. doi P. 1-23. doi
- Статья Lomazova I. A., Vladimir A. Bashkin, Jančar P. Resource Bisimilarity in Petri Nets is Decidable // Fundamenta Informaticae. 2022. Vol. 186. No. 1-4. P. 175-194. doi
- Статья Шаимов Н. Д., Ломазова И. А., Мицюк А. А., Самоненко И. Ю. Анализ академической успеваемости студентов с использованием журналов событий электронной образовательной среды // Моделирование и анализ информационных систем. 2022. Т. 29. № 4. С. 286-314. doi
- Статья Артемов С. Н., Барздинь Я. М., Бокуть Л. А., Гуревич Ю., Дехтярь А. М., Левин Л. А., Ломазова И. А., Матиясевич Ю. В., Непомнящий В. А., Новиков С. П., Рабинович А., Сазонов В. Ю., Слисенко А. О., Соколов В. А., Трахтенброт М. Б., Шилов Н. В. Борис Абрамович Трахтенброт (к столетию со дня рождения) // Успехи математических наук. 2022. Т. 77. № 1(463). С. 191-195. doi
- Статья Mecheraoui K., Lomazova I. A., Belala N. A Petri net extension for systems of concurrent communicating agents with durable actions // Journal of Parallel and Distributed Computing. 2021. Vol. 155. P. 14-23. doi
- Книга Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Khachay, O. Koltsova, A. Kutuzov, Sergei O. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 12602. Cham: Springer, 2021. doi
- Глава книги Carrasquel Gamez J. C., Mecheraoui K., Lomazova I. A. Checking Conformance between Colored Petri Nets and Event Logs, in: Analysis of Images, Social Networks and Texts: 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Khachay, O. Koltsova, A. Kutuzov, Sergei O. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 12602. Cham: Springer, 2021. doi P. 435-452. doi
- Препринт Lomazova I. A., Mitsyuk A. A., Sharipova A. Modeling MOOC learnflow with Petri net extensions / Cornell University. Series Computer Science "arxiv.org". 2021.
- Глава книги Carrasquel Gamez J. C., Chuburov S. A., Lomazova I. A. Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining, in: Tools and Methods of Program Analysis. 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / Ed. by Anna Kalenkova, J. A. Lozano, R. Yavorskiy. Vol. 1288: CCIS. Springer, 2021. P. 88-100. doi
- Книга Recent Trends in Analysis of Images, Social Networks and Texts. 9th International Conference, AIST 2020, Skolkovo, Moscow, Russia, October 15–16, 2020 Revised Supplementary Proceedings / Ed. by W. M. van der Aalst, V. Batagelj, A. V. Buzmakov, D. I. Ignatov, A. A. Kalenkova, M. Khachay, O. Koltsova, A. Kutuzov, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch, I. Makarov, A. Napoli, A. Panchenko, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 12602. Springer, 2021. doi
- Препринт Lomazova I. A., Mitsyuk A. A., Rivkin A. Soundness in Object-centric Workflow Petri Nets / Cornell University. Series Computer Science "arxiv.org". 2021. doi
- Глава книги Ломазова И. А. О системах переписывания процессов высокого уровня // В кн.: Всероссийская научная конференция "Математические основы информатики и информационно-коммуникационных систем". Тверь : ТвГУ, 2021. С. 42-44. doi
- Книга AIST: International Conference on Analysis of Images, Social Networks and Texts. 8th International Conference, AIST 2019, Kazan, Russia, July 17–19, 2019, Revised Selected Papers / Ed. by W. van der Aalst, V. Batagelj, D. I. Ignatov, М. Ю. Хачай, V. Kuskova, A. Kutuzov, S. Kuznetsov, I. A. Lomazova, N. V. Loukachevitch, A. Napoli, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 1086. Cham: Springer, 2020. doi
- Глава книги Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A. Compositional conformance checking of nested petri nets and event logs of multi-agent systems, in: Proceedings of the Conference on Modeling and Analysis of Complex Systems and Processes 2020 (MACSPro 2020) / Ed. by Alexander Shapoval, V. Popov, I. Makarov. Vol. 2795. CEUR Workshop Proceedings, 2020. P. 34-45.
- Глава книги Carrasquel Gamez J. C., Lomazova I. A., Rivkin A. Modeling Trading Systems using Petri Net Extensions, in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020) Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020. P. 118-137.
- Глава книги Bernardinello L., Lomazova I. A., Nesterov R., Pomello L. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms, in: Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020) Vol. 2651: CEUR Workshop Proceedings. CEUR-WS.org, 2020. P. 49-67.
- Книга Analysis of Images, Social Networks and Texts. 8th International Conference, AIST 2019, Lecture Notes in Computer Science, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Y. Khachay, V. Kuskova, A. Kutuzov, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 11832. Cham : Springer, 2019. doi
- Глава книги Roman A. Nesterov, Irina A. Lomazova. Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 62-73.
- Глава книги Alexandra Kolosova, Irina Lomazova. Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs, in: Analysis of Images, Social Networks and Texts. 8th International Conference, AIST 2019, Lecture Notes in Computer Science, Revised Selected Papers / Ed. by W. M. van der Aalst, V. Batagelj, D. I. Ignatov, M. Y. Khachay, V. Kuskova, A. Kutuzov, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch, A. Napoli, P. M. Pardalos, M. Pelillo, A. Savchenko, E. Tutubalina. Vol. 11832. Cham : Springer, 2019. doi P. 401-410. doi
- Глава книги Julio C. Carrasquel, Lomazova I. A. Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets, in: ICPM Doctoral Consortium 2019. Vol. 2432: CEUR Workshop Proceedings. CEUR-WS.org, 2019. Ch. 4. P. 1-12.
- Книга Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019.
- Глава книги Carrasquel Gamez J. C., Lomazova I. A., Itkin I. L. Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach, in: Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019. P. 92-103.
- Глава книги Kirill Artamonov, Irina Lomazova. What Has Remained Unchanged in Your Business Process Model?, in: 21st IEEE Conference on Business Informatics (CBI). IEEE Computer Society, 2019. P. 551-558. doi
- Книга Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Revised Selected Papers / Ed. by W. M. van der Aalst, D. I. Ignatov, M. Khachay, S. Kuznetsov, V. Lempitsky, I. A. Lomazova, A. Napoli, A. Panchenko, P. M. Pardalos, A. V. Savchenko, S. Wasserman. Vol. 10716. Cham : Springer, 2018. doi
- Глава книги Bernardinello L., Irina Lomazova, Roman Nesterov, Pomello L. Compositional Discovery of Workflow Nets from Event Logs Using Morphisms, in: Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Vol. 2115: CEUR Workshop Proceedings. CEUR-WS.org, 2018. P. 23-38.
- Глава книги Roman A. Nesterov, Irina A. Lomazova. Compositional Process Model Synthesis based on Interface Patterns, in: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Vol. 779: Communications in Computer and Information Science. Cham: Springer, 2018. doi P. 151-162. doi
- Глава книги Kalenkova A. A., Агеев А. А., Lomazova I. A., van der Aalst W. E-Government Services: Comparing Real and Expected User Behavior, in: BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers Vol. 308. Springer, 2018. P. 484-496. doi
- Книга Proceedings of Analysis of Images, Social Networks and Texts – 7th International Conference, AIST 2018, Moscow, Russia, July 5-7, 2018, Revised Selected Papers. Lecture Notes in Computer Science / Ed. by W. M. van der Aalst, V. Batagelj, G. Glavaš,, D. I. Ignatov, M. Khachay, O. Koltsova, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch,, A. Napoli,, A. Savchenko, A. Panchenko,, P. M. Pardalos, M. Pelillo,. Vol. 11179. Berlin : Springer, 2018. doi
- Статья Nesterov R.A., Mitsyuk A.A., Lomazova I.A. Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 3. P. 285-302. doi
- Книга Supplementary Proceedings of the 7th International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2018), Moscow, Russia, July 5-7, 2018 / Ed. by W. van der Aalst,, V. Batagelj, G. Glavaš,, D. I. Ignatov, M. Khachay,, O. Koltsova,, S. Kuznetsov, I. A. Lomazova, N. Loukachevitch,, A. Napoli,, A. Savchenko, A. Panchenko,, P. M. Pardalos, M. Pelillo,. Aachen : CEUR Workshop Proceedings, 2018.
- Статья Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Modeling and Analysis of Information Systems. 2017. Vol. 24. No. 2. P. 125-140. 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. 2017. Vol. 16. No. 4. P. 1019-1048. 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, 2017. doi P. 19-34. doi
- Статья Mitsyuk A. A., Lomazova I. A., van der Aalst W. Using Event Logs for Local Correction of Process Models / Пер. с рус. // Automatic Control and Computer Sciences. 2017. Vol. 51. No. 7. P. 709-723. doi
- Статья 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
- Статья Begicheva A., Lomazova I. A. Does your event log fit the high-level process model? // Modeling and Analysis of Information Systems. 2015. Vol. 22. No. 3. P. 392-403. doi
- Статья 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
- Статья 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. 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
- Статья 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
- Статья Lomazova I. A. Interacting Workflow Nets for Workflow Process Re-Engineering // Fundamenta Informaticae. 2010. Vol. 101. No. 1-2. P. 59-70. doi
- Статья Lomazova I. A., Sidorova N., Serebrenik A., van Hee K., Voorhoeve M., Oanea O. Checking Properties of Adaptive Workflow Nets // Fundamenta Informaticae. 2007. Vol. 79. No. 3-4. P. 347-362.
- Книга Ломазова И. А. Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой. М. : Научный мир, 2004.
Гранты
- РФФИ, грант 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 г.).
Участие в редколлегиях научных журналов
С 2016 г.: член редколлегии журнала «Труды Института системного программирования РАН».
С 2006 г.: член редколлегии журнала «Моделирование и анализ информационных систем».
Научный руководитель диссертационных исследований
- 1Нестеров Р. А. Синтез моделей процессов для мультиагентных систем по журналам событий, 2022
- 2Карраскель Г. Х. С. Формальное построение и валидация поведения торговых систем с акциями: подход на основе сетей Петри
, 2022 - 3Шершаков С. А. Методы и инструменты повышения эффективности алгоритмов майнинга процессов, 2020
- 4Суворов Н. М. Методы исправления дефектных моделей потоков работ на основе управления срабатыванием переходов (aспирантура: 2-й год обучения)
- 5Бегичева А. К. Извлечение читаемых моделей из логов событий (aспирантура: 3-й год обучения)
- 6Шаимов Н. Д. Моделирование и анализ образовательных процессов на основе журналов событий (aспирантура: 3-й год обучения)
Научный руководитель диссертационных исследований
на соискание ученой степени доктора наук
Башкин Владимир Анатольевич. Докторская диссертация по специальности 05-13-17 на тему "Некоторые методы ресурсного анализа сетей Петри". Защищена в Вычислительном центре им. А.А. Дородницына РАН 29 мая 2014. Автореферат.
на соискание ученой степени кандидата наук
Шушакова Анна Геннадьевна. Кандидатская диссертация по специальности 05-13-17 на тему "Исследование методов представления и обработки знаний средствами дескриптивной логики" защищена в Институте программных систем РАН в 2002г. (соруководитель - Геннадиий Семенович Осипов)
Башкин Владимир Анатольевич. Кандидатская диссертация по специальности 05-13-17 на тему "Бисимуляция ресурсов в сетях Петри" защищена в Ярославском госуниверситете им. П.Г. Демидова в 2003г.
Каленкова Анна Алексеевна. PhD на тему "Построение и анализ высокоуровневых моделей процессов по журналам событий" защищена 6 мая 2018 г. в Техническом университете Эйндховена, Нидерланды (соруководитель - Вил ван дер Аалст).
Дворянский Леонид Владимирович. PhD на тему "Вложенные сети Петри: анализ поведения и временная семантика" защищена в 2018 г. в Университете имени Гумбольдтов в Берлине, Германия (соруководитель - Лушка Попова-Цойгманн)
Мицюк Алексей Александрович. PhD на тему "Исправление моделей процессов с сохранением их структуры на основе журналов событий" защищена 4 мая 2019 г. в НИУ ВШЭ, Москва.
Опыт работы
Красноярский госуниверситет, ассистент, старший преподаватель, доцент
Институт программных систем РАН, с.н.с., г.н.с.
Российский государственный социальный университет, профессор
НИУ "Высшая школа экономики", профессор
Информация*
- Общий стаж: 43 года
- Научно-педагогический стаж: 43 года
- Преподавательский стаж: 34 года
Дополнительные сведения
- Член IEEE Task Force on Process Mining
- Член программных комитетов конференций и семинаров:
International Conference on Business Process Management (BPM) (2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024)
International Conference on Application and Theory of Petri Nets and Concurrency (2013, 2014, 2015, 2020, 2021, 2022, 2023, 2024),
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, 2018, 2019, 2020, 2021, 2023),
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) (2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020, 2021, 2022, 2023, 2024),
International Conference on Tools and Methods of Program Analysis (TMPA) (2017),
International Conference on Analysis of Images, Social Networks, and Texts (AIST) (2017, 2018, 2019, 2020),
International Conference on Process Mining (ICP) (2019, 2020, 2021, 2022, 2023, 2024),
Modeling and Analysis of Complex Systems and Processes (MACSPro) (2019, 2020, 2021),
Software Testing, Machine Learning and Complex Process Analysis (TMPA) (2019, 2021).
Руководитель научного семинара "Процессно-ориентированные информационные системы".
Сотрудники и студенты ФКН – победители конкурса русскоязычных работ 2024
10 июня в Большом зале Центра культур НИУ ВШЭ состоялось торжественное награждение лауреатов Конкурса лучших русскоязычных научных и научно-популярных работ сотрудников НИУ ВШЭ
На ФКН состоялась вторая «Лаборантская»
27 февраля на ФКН прошла вторая встреча в рамках проекта «Лаборантская» — цикла встреч научных сотрудников лабораторий ФКН со студентами. В этот раз студенты смогли пообщаться с сотрудниками научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС)
«Лучшее образование по компьютерным наукам»: исполнилось 10 лет ФКН НИУ ВШЭ
28 марта 2014 года в Высшей школе экономики начал работать факультет компьютерных наук. Его образовательные программы были сформированы с учетом опыта лучших университетов, а также наработок Школы анализа данных «Яндекса». Стратегической целью стало вхождение в топ-30 факультетов мира, готовящих разработчиков и исследователей в области компьютерных наук. Рассказываем, как развивался ФКН все эти годы и каких результатов удалось достичь.
В лаборатории ПОИС прошел семинар в честь ее десятилетия
3 марта 2023 года состоялся семинар, который был посвящен десятилетию научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС).
Лучшие преподаватели в номинации "Лучший научный руководитель" в 2022 году
Заведующий лабораторией Ирина Александровна Ломазова признана лучшим научным руководителем по итогам конкурса НИРС. Поздравляем!
Pursuing a PhD in Russia: ‘Attractive and Exotic’
After getting his Master’s degree in Computer Science in Rome, Julio Carrasquel decided not to pursue a corporate career in IT, but to move to Moscow to get a PhD at HSE University. As a result, he received a scholarship on the Advanced Doctoral Programme, successfully defended his thesis, and was named one of the university’s Best Teachers. Julio talked with the HSE News Service about his path in academia and life in Russia.
Лучшие преподаватели НИУ ВШЭ 2022 года
Поздравляем сотрудников лаборатории - Алексея Мицюка, Нестерова Романа, Карраскель Хулио - с победой в выборах лучших преподавателей ФКН
ФКН Вышки провел первую зимнюю школу по программной инженерии
14–18 февраля факультет компьютерных наук Высшей школы экономики организовал первую международную зимнюю школу по программной инженерии. Мероприятие состоялось при поддержке компании JetBrains, Университета Иннополис и Технологического института Шаффхаузена.
Поздравляем победителей НИРС-2021
Подведены итоги конкурса научно-исследовательских работ студентов НИРС-2021. Поздравляем победителей, лауреатов и их научных руководителей!
Впечатления о Вышке у меня самые положительные: все очень оперативно решается, все понятно и прозрачно
Алия Шарипова, постдок лаборатории ПОИС, рассказала о моделировании образовательных процессов и о работе в постдокторантуре.
Подведены итоги конкурса НИРС-2021
В номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов бакалавриата и специалитета» третье место заняла работа «Algorithm for checking resource bisimilarity in Petri nets: applicability evaluation», выполненная студентом 3 курса Агроскиным Александром Викторовичем.
Научный руководитель - заведующая лабораторией Ломазова Ирина Александровна.
Поздравляем коллег!
Начался курс Анализ данных по технологии process mining
Авторский курс «Анализ данных по технологии Process mining» - это еще один продукт базовой кафедры ГК Открытие, запущенный на Факультете компьютерных наук. Он позволит студентам погрузиться в реальные банковские процессы и научиться искать варианты их оптимизации.
Первые занятия от БК «Открытие»
6 и 7 сентября 2021 эксперты-практики банка «Открытие» провели для студентов факультета компьютерных наук и Высшей школы бизнеса первые занятия в рамках курсов, разработанных базовой кафедрой ГК «Открытие». Кафедра была создана в начале этого года на факультете компьютерных наук.
Студенческая научно-практическая конференция CoCoS'2021
15-16 апреля прошло завершающее событие Дней компьютерных наук — студенческая научно-практическая конференция CoCoS-2021. Мы поговорили с победителями и представителями жюри об их впечатлениях.
Лекция "КОГДА КОМПЬЮТЕРЫ БЫЛИ БОЛЬШИМИ"
5 апреля в рамках ежегодных Дней комьютерных наук Ирина Александровна Ломазова, заведующая лабораторией ПОИС, прочитала лекцию о том, как все начиналось в компьютерных науках. Как они возникали и о чем были первые задачи? Почему понадобилась теория программирования, ведь, казалось бы, достаточно просто уметь программировать? Как связаны компьютерные науки с математикой, лингвистикой, биологией?
Видеозапись лекции доступна по ссылке - https://www.youtube.com/watch?v=6SCCG1R90zI
"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"
Алексей Мицюк, доцент департамента программной инженерии и старший научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) рассказал о своих исследованиях, проектах и о плюсах научной работы.
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
Graduate Student of the Faculty of Computer Science on Studying in a Joint PhD Programme, Complex Systems, and Working During a Pandemic
For Roman Nesterov, PhD student and research assistant at the Laboratory of Process-Aware Information Systems (PAIS Lab), working remotely had already been the norm long before this spring. As student of a cotutelle PhD programme, he is constantly working with colleagues from Italy. We spoke with Roman about his research and about how one can pursue joint doctoral studies with another university abroad.
Аспирант ФКН о совместной аспирантуре, сложных системах и работе в пандемию
Для Романа Нестерова, аспиранта и стажера-исследователялаборатории процессно-ориентированных информационных систем (ПОИС), удаленная работа стала нормой задолго до этой весны: из-за обучения в двойной аспирантуре он постоянно работает с коллегами из Италии. Роман рассказал о своих исследованиях и о том, как можно организовать совместную аспирантуру.
Аспирант из Алжира о стажировке в лаборатории ПОИС
Халил Мешерауи, аспирант Университета Константина 2 – Абдельхамид Мехри (Алжир), рассказывает о том, как он получил грант на поездку в Москву, о своей стажировке в лаборатории Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) и совместной работе с исследователями лаборатории.
International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
Сотрудники лаборатории стали участниками международной конференции TMPA-2019 (Тестирование программного обеспечения, машинное обучение и анализ процессов)
Первый открытый форум по Process Mining в России
Сотрудники лаборатории стали участниками первого открытого форума по Process Mining в России
Стажеры-исследователи лаборатории ПОИС стали призерами стипендии имени Ильи Сегаловича
В рамках празднования пятилетия ФКН в башне «Меркурий» делового центра «Москва-Сити» прошло вручение стипендии имени Ильи Сегаловича. Каждый год на стипендию номинируются студенты и аспиранты факультета, продемонстрировавшие успехи в учебе и научных исследованиях. В этом году стипендиатами стали Полина Таранцова и Роман Нестеров.
На пятилетии факультета компьютерных наук вручили стипендии имени Ильи Сегаловича
В рамках празднования пятилетия ФКН в башне «Меркурий» делового центра «Москва-Сити» прошло вручение стипендии имени Ильи Сегаловича. Каждый год на стипендию номинируются студенты и аспиранты факультета, продемонстрировавшие успехи в учебе и научных исследованиях.
Защита кандидатской диссертации Мицюка Алексея Александровича
Сотрудник лаборатории ПОИС стал кандидатом компьютерных наук.
Состоялась защита кандидатской диссертации Мицюка Алексея Александровича
05 апреля 2019 года состоялась защита кандидатской диссертации старшего преподавателя департамента программной инженерии Алексея Мицюка на тему «Исправление моделей процессов с сохранением их структуры на основе журналов событий», научный руководитель — ординарный профессор Ирина Ломазова.
Завершилась международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019)
С 21 по 23 марта в Вене прошла международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019), организованная компанией ExactPro и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.
Защиты диссертаций: будущие и прошедшие
В 2018 году шесть сотрудников факультета компьютерных наук защитили диссертационные работы. Рассказываем о состоявшихся защитах и о предстоящих в 2019 году.
Объявлены итоги конкурса НИРС 2018
На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2018 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».
Первая в России степень PhD in Computer Science
26 октября состоялась защита кандидатской диссертации Алексея Масютина, выпускника аспирантской школы НИУ ВШЭ по компьютерным наукам, на тему «Рандомизированные алгоритмы на основе интервальных узорных структур для задач классификации и регрессии в задачах кредитного риск-менеджмента», и была присуждена первая в России степень PhD in Computer Science. Научный руководитель — ординарный профессор НИУ ВШЭ Сергей Кузнецов.
Сотрудники лаборатории представили исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"
ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)
Сотрудникам департамента программной инженерии присвоили звание ординарных профессоров
На заседании Ученого совета НИУ ВШЭ 22 июня 2018 г. было принято решение о присвоении почетного звания (статуса) ординарного профессора двум сотрудникам департамента программной инженерии.
Сотрудникам ВШЭ присвоили звание заслуженных и ординарных профессоров
На заседании Ученого совета 22 июня было принято решение о присвоении почетного звания (статуса) ординарного профессора преподавателям и сотрудникам Вышки. Также в этот день 16 сотрудникам ВШЭ был впервые присвоен почетный статус «Заслуженный профессор Высшей школы экономики».
«Тем, кто занимается computer science, очень повезло: мы одновременно можем чувствовать свою причастность и к теории, и к практике»
5 июня 2018 года в Техническом университете Эйндховена состоялась защита PhD Анны Каленковой, старшего научного сотрудника лаборатории ПОИС. В интервью Анна рассказала о своих исследованиях, особенностях работы в программной инженерии и computer science в целом, а также поделилась тем, какими видит своих студентов и какой была сама в их возрасте.
Анне Каленковой, старшему научному сотруднику лаборатории ПОИС, присвоена учёная степень PhD
5 июня 2018 года в Техническом университете Эйндховена состоялась защита PhD Анны Каленковой, старшего научного сотрудника лаборатории ПОИС
Названы победители «Золотой Вышки»
На антиюбилейную «Золотую Вышку» было выдвинуто рекордное количество претендентов — 355 человек в 10 номинациях. Из них в два этапа были выбраны победители в каждой номинации. Кроме того, второй раз был выбран победитель «Золотой ссылки» — «премии в премии», которая присуждается самому высокоцитируемому ученому. Награждение всех победителей прошло 1 декабря.
HSE and University of London: Joint BA Programme in Applied Data Analysis
In 2018, the Higher School of Economics will launch an English-taught double degree programme in partnership with the University of London in Applied Data Analysis. Graduates will be awarded an undergraduate degree from HSE in Applied Mathematics and Information Science and a Bachelor of Science in Data Science and Business Analytics from the University of London. International applicants are invited to apply online starting November 15, 2017.
НИУ ВШЭ и Лондонский университет открывают бакалаврскую программу двух дипломов по прикладному анализу данных
В 2018 году Высшая школа экономики начинает прием на англоязычную программу бакалавриата «Программа двух дипломов НИУ ВШЭ и Лондонского университета «Прикладной анализ данных». Все, успешно закончившие программу, получат диплом бакалавра по направлению «Прикладная математика и информатика» НИУ ВШЭ и диплом Bachelor of Sciences in Data Science and Business Analytics Лондонского университета.
Faculty of Computer Science Students Take Gold at BPI Challenge 2017
Elizaveta Povalyaeva, Artem Fomenko and Ismail Khamitov, fourth-year students of Software Engineering, took first place in the student category at the BPI Challenge 2017, a business process analysis competition. They presented their solution at the 13th International Workshop on Business Process Intelligence 2017 and are the first students from Russia to participate in the event and win, with the highest-ever number of projects participating in the competition.
Студенты факультета компьютерных наук заняли 1 место на BPI Challenge 2017
Студенты 4-го курса образовательной программы «Программная инженерия» — Елизавета Поваляева, Артём Фоменко и Исмаил Хамитов заняли первое место в студенческой номинации соревнования по анализу бизнес-процессов BPI Challenge 2017. Своё решение они представили в рамках 13-го международного семинара по анализу бизнес-процессов (13th International Workshop on Business Process Intelligence 2017).
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 году заседании Ученого совета ГУ-ВШЭ были приняты решения об открытии очередных образовательных программ, создании нескольких научных подразделений, а также утверждено положение о наградах Высшей школы экономики.