Ломазова Ирина Александровна
- Профессор:Факультет компьютерных наук / Департамент программной инженерии
- Заведующий лабораторией:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Ординарный профессор
- Начала работать в НИУ ВШЭ в 2010 году.
- Научно-педагогический стаж: 38 лет.
Образование, учёные степени и учёные звания
- 2005Ученое звание: Профессор
- 2002Доктор физико-математических наук: Вычислительный центр им. А.А. Дородницына РАН, специальность 05.13.17 «Теоретические основы информатики», тема диссертации: Анализ семантических свойств некоторых классов программ и сетей Петри
- 1990Старший научный сотрудник
- 1982Кандидат физико-математических наук: Институт математики СО АН СССР, специальность 01.01.09 «Дискретная математика и математическая кибернетика», тема диссертации: Семантика и динамическая логика для программ с операторами перехода
- 1977
Специалитет: Новосибирский государственный университет, факультет: математический, специальность «Прикладная математика»
Достижения и поощрения
- Почетный работник высшего профессионального образования Российской Федерации (март 2016)
- Почетная грамота Высшей школы экономики (декабрь 2015)
Лауреат премии "Золотая Вышка" – 2017 в номинации Успех педагога
Надбавка за академическую работу (2017-2018)
Надбавка за статью в зарубежном рецензируемом журнале (2015-2017, 2013-2015, 2011-2013)
Учебные курсы (2018/2019 уч. год)
- Научно-исследовательский семинар "Декларативное программирование" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 1-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Процессно-ориентированнные информационные системы" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия", "Программная инженерия"; 3-й курс, 1-3 модуль)Рус
- Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; программа "Системная и программная инженерия"; 1-й курс, 1-4 модуль)Анг
Выпускные квалификационные работы студентов
- Бакалавриат
Поваляева Е. М. «Метод локальной корректировки хорошо структурированной модели процесса на основе информации из журнала событий». Факультет компьютерных наук, 2018
Лукьянов Д. В. «Клиент-серверное приложение для игры в модификации Го». Факультет компьютерных наук, 2017
Сероусов В. -. «Анализ интенсивности взаимодействий между узлами компьютерной сети на основе журналов событий». Факультет компьютерных наук, 2017
Кулакова А. С. «Майнинг иерархической модели процесса по журналу событий». Факультет компьютерных наук, 2017
Бегичева А. К. «Алгоритм синтеза абстрактной модели бизнес-процесса по низкоуровневому журналу событий». Факультет компьютерных наук, 2016
Фрумин Д. И. «Верификация вложенных сетей Петри с помощью разверток сетей.». Отделение программной инженерии, 2014
- Магистратура
Канунников А. А. «Алгоритм проверки соответствия в кардио-диагностике». Факультет компьютерных наук, 2018
Эрво В. А. «Инструмент для анализа и визуализации журнала событий коммуникационной сети». Факультет компьютерных наук, 2018
Нестеров Р. А. «Композициональный синтез моделей процессов на основе паттернов интерфейсов». Факультет компьютерных наук, 2017
Юсупов Р. И. «Извлечение расширенных структур событий из логов». Факультет компьютерных наук, 2016
Ермакова В. О. «Верификация вложенных сетей Петри с помощью метода развёртки». Факультет компьютерных наук, 2016
Величко С. В. «Извлечение высокоуровневых моделей процессов путём трансформации журналов событий». Факультет компьютерных наук, 2016
Бердников И. . «Обеспечение корректного поведения сетей Петри расстановкой приоритетов на переходах». Факультет компьютерных наук, 2016
Манухина Я. А. «Выявление антипаттернов в пользовательских интерфейсах на основе журналов событий». Факультет компьютерных наук, 2016
Разин А. А. «Синтез модели сети Петри с временными интервалами из логов событий с временными отметками». Факультет компьютерных наук, 2015
Голыничев А. В. «Получение высокоуровневой модели бизнес-процесса на основе лог-файла». Факультет компьютерных наук, 2015
Семикина С. А. «Визуализация данных о стрессе». Отделение программной инженерии, 2014
Кузнецова Н. И. «Визуализация случайного леса». Отделение программной инженерии, 2014
Куренкова А. Г. «Программа визуализации различий в логах событий». Отделение программной инженерии, 2014
Лидский Г. А. «Библиотека программ для обеспечения взаимодействия агентов в распределённых системах на основе обмена сообщениями». Отделение программной инженерии, 2013
Новикова Ю. А. «Инструментальная среда имитационного моделирования распределенных систем мобильных агентов». Отделение программной инженерии, 2013
20188
- Книга Analysis of Images, Social Networks and Texts 6th International Conference, AIST 2017, Moscow, Russia, July 27–29, 2017, Revised Selected Papers / Ed. by W. van der Aalst, D. I. Ignatov, S. Kuznetsov, I. A. Lomazova, A. Napoli, S. S. Wasserman, P. M. Pardalos, A. Panchenko, V. Lempitsky, M. Y. Khachay, N. V. Loukachevitch, A. Savchenko. Cham: Springer, 2018. doi
- Книга Analysis of Images, Social Networks and Texts. 6th International Conference, 2017, Lecture Notes in Computer Science, 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. (в печати)
201710
- Глава книги Lomazova I. A., Popova-Zeugmann L., Bartels A. Controlling boundedness for live Petri nets, in: International Conference on Control, Decision and Information Technologies, CoDIT 2017, Barcelona, Spain, April 5-7, 2017. IEEE, 2017. P. 0236-0241. doi
- Статья Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Моделирование и анализ информационных систем. 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
- Глава книги Mitsyuk A. A., Lomazova I. A., Ivan S. Shugurov, Wil M.P. van der Aalst. Process Model Repair by Detecting Unfitting Fragments, in: Supplementary Proceedings of the 6th International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017 / Ed. by W. van der Aalst, M. Y. Khachay, S. Kuznetsov, V. Lempitsky, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, A. V. Savchencko, S. Wasserman, D. I. Ignatov. Vol. 1975. Aachen : CEUR-WS.org, 2017. Ch. 32. P. 301-313.
- Глава книги 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
- Книга Supplementary Proceedings of the 6th International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017 / Ed. by W. van der Aalst, M. Y. Khachay, S. Kuznetsov, V. Lempitsky, I. A. Lomazova, N. Loukachevitch, A. Napoli, A. Panchenko, P. M. Pardalos, A. V. Savchencko, S. Wasserman, D. I. Ignatov. Vol. 1975. Aachen : CEUR-WS.org, 2017.
- Глава книги Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova. Transition Systems Reduction: Balancing Between Precision and Simplicity, in: Lecture Notes in Computer Science Vol. 10470: Transactions on Petri Nets and Other Models of Concurrency XII. Berlin, Heidelberg : Springer, 2017. doi P. 119-139. 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
- Статья R.A. Nesterov, I.A. Lomazova. Using Interface Patterns for Compositional Discovery of Distributed System Models // Proceedings of the Institute for System Programming of the RAS. 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, 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
20152
- Глава книги 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
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
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 г.: член редколлегии журнала «Моделирование и анализ информационных систем».
Научный руководитель диссертационных исследований
- 1Никитин К. И. Анализ игровых механик на основе данных моделирования игрового опыта (aспирантура: 1-й год обучения)
- 2Карраскель Г. Х. С. Построение формальных моделей и валидация поведения систем торговли акциями: подход но основе сетей Петри (aспирантура: 1-й год обучения)
- 3Нестеров Р. А. Синтез моделей процессов для мультиагентных систем по журналам событий (aспирантура: 2-й год обучения)
Научный руководитель диссертационных исследований
на соискание ученой степени доктора наук
Башкин Владимир Анатольевич. Докторская диссертация по специальности 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, 2018)
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, 2018),
Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE) (2012, 2013, 2014, 2015, 2016, 2017, 2018),
International Conference on Tools and Methods of Program Analysis (TMPA) (2017),
International Conference on Analysis of Images, Social Networks, and Texts (AIST) (2017, 2018).
- Руководитель научного семинара "Процессно-ориентированные информационные системы".
- Член Диссертационного совета Д 212.048.09
Объявлены итоги конкурса НИРС 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 году заседании Ученого совета ГУ-ВШЭ были приняты решения об открытии очередных образовательных программ, создании нескольких научных подразделений, а также утверждено положение о наградах Высшей школы экономики.