Irina A. Lomazova
- Professor:Faculty of Computer Science / School of Software Engineering
- Laboratory Head:Faculty of Computer Science / Laboratory of Process-Aware Information Systems (PAIS Lab)
- Tenured Professor
- Irina A. Lomazova has been at HSE University since 2010.
Education, Degrees and Academic Titles
- 2005Professor
- 2002
Doctor of Sciences* in Theoretical Foundations of Computer Science
Russian Academy of Sciences Dorodnitsyn Computation Center - 1990Senior Research Fellow
- 1982
Candidate of Sciences* (PhD) in Discrete Mathematics and Mathematical Cybernetics
Institute of Mathematics of the Siberian Branch of the USSR Academy of Sciences - 1977
Degree
Novosibirsk State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Courses (2020/2021)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Automata and Process Models" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
- Past Courses
Courses (2019/2020)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Declarative Programming" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
Courses (2018/2019)
- Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Eng
- Research Seminar "Declarative Programming" (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-3 module)Rus
- Research Seminar "Process-Aware Information Systems" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
Courses (2017/2018)
Courses (2016/2017)
Courses (2015/2016)
Student Term / Thesis Papers
- Bachelor
A. Kolosova, Application for the Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs. Faculty of Computer Science, 2019
E. Povaliaeva, Method for Local Correction of Well-Structured Process Model based on the Information from the Event Log. Faculty of Computer Science, 2018
V. Serousov, Analysis of the Intensity of Interactions between Nodes of a Computer Network Based on the Event Logs. Faculty of Computer Science, 2017
D. Lukyanov, Client-server Application for Playing Go Game Variants. Faculty of Computer Science, 2017
A. Kulakova, Mining Hierarchical Process Model from Event Logs. Faculty of Computer Science, 2017
A. Begicheva, Algorithm for Abstract Business Process Model from a Low-Level Event Log. Faculty of Computer Science, 2016
D. Frumin, Nested Petri nets verification based on net unfoldings.. School of Software Engineering, 2014
- Master
A. Nurakunov, Research of Resource Equivalence Properties for Term Rewriting Systems. Faculty of Computer Science, 2020
E. Pinyakin, The Study of Possibility of Ensuring the Correct Behavior of the Petri Net by Prioritizing Net Transitions. Faculty of Computer Science, 2020
V. Abramenko, Algorithm for Forecasting Sales at New Product Launch in IT Retail. Faculty of Computer Science, 2020
A. Drobot, Discovering Hierarchical Models of Business Processes from Event Logs. Faculty of Computer Science, 2020
E. Povaliaeva, Online Learning Strategies Analysis with Using Process Mining Techniques. Faculty of Computer Science, 2020
K. Serebrennikov, Ensuring Petri Net Soundness with Transition Constraints. Faculty of Computer Science, 2019
A. Sverediuk, Event Log Visualizer with Pattern Search and Process Map Creation. Faculty of Computer Science, 2019
K. Artamonov, Discovering Unchanged Process Model Fragments via Conformance Checking Based on Event Relations. Faculty of Computer Science, 2019
A. Kanunnikov, Algorithm for Conformance Checking in Cardio Diagnostics. Faculty of Computer Science, 2018
V. Ervo, Tool for Analysis And Visualization of Communication Network Event Log. Faculty of Computer Science, 2018
R. Nesterov, Compositional Process Model Synthesis based on Interface Patterns. Faculty of Computer Science, 2017
V. Ermakova, Verification of Nested Petri Nets Using Unfolding Approach. Faculty of Computer Science, 2016
Y. Manukhina, Log-based User Interface Antipatterns Discovery. Faculty of Computer Science, 2016
I. Berdnikovs, Ensuring Сorrect Behavior of Petri Nets by Adding Transition Priorities. Faculty of Computer Science, 2016
R. Iusupov, Mining Extended Event Structures from Logs. Faculty of Computer Science, 2016
S. Velichko, Discovery of High-Level Process Models Through Event Log Transformation. Faculty of Computer Science, 2016
A. Kurenkova, Program for visualization of differences in event logs. School of Software Engineering, 2014
N. Kuzneczova, Random Forest Visualization. School of Software Engineering, 2014
S. Semikina, Stress Data Visualization. School of Software Engineering, 2014
20207
- Book 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
- Chapter Carrasquel Gamez J. C., Mecheraoui K., Lomazova I. A. Checking Conformance between Colored Petri Nets and Event Logs, in: Analysis of Image, Social Networks and Texts. 9th International Conference, AIST 2020, Lecture Notes in Computer Science, Revised Selected Papers. Springer, 2020. (in press)
- Preprint Mecheraoui K., Carrasquel Gamez J. C., Lomazova I. A. Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems / Cornell University. Series Computer Science "arxiv.org". 2020.
- Chapter 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.
- Chapter 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.
- Chapter Carrasquel Gamez J. C., Chuburov S. A., Lomazova I. A. Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining, in: Proceedings of the International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019). Springer, 2020. (in press)
- Chapter 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.
20197
- Book 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
- Chapter 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.
- Chapter 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
- Chapter 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.
- Book Proceedings of the MACSPro Workshop 2019 / Ed. by Irina Lomazova, Anna Kalenkova, Р. Яворский. Vol. 2478: CEUR Workshop Proceedings. CEUR-WS.org, 2019.
- Chapter 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.
- Chapter 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
20187
- Book 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
- Chapter 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.
- Chapter 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
- Chapter 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
- Book 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
- Article 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
- Book 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.
20179
- Chapter 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
- Article Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Моделирование и анализ информационных систем. 2017. Vol. 24. No. 2. P. 125-140. doi
- Article 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
- Chapter 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 Sixth 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.
- Chapter 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
- Book Supplementary Proceedings of the Sixth 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.
- Chapter 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
- Article 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
- Article 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
20166
- Article 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
- Article 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
- Chapter 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
- Chapter 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
- Chapter 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.
- Chapter 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.
20152
- Chapter 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.
- Article 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
- Chapter 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.
- Chapter 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.
- Chapter 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.
- Chapter 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.
- Article 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.
- Article 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
- Chapter 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
- Chapter 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.
20134
- Article 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
- Article 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
- Chapter 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.
- Chapter 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.
20123
- Chapter Sergey Shershakov, Irina Lomazova. An SDVRP Platform Verification Method for Microprocessor-Based Systems Software, in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012. Perm : -, 2012. P. 79-84.
- Article Vladimir A. Bashkin, Lomazova I. A. Cellular Resource-Driven Automata // Fundamenta Informaticae. 2012. Vol. 120. No. 3-4. P. 243-257. doi
- Article 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
20113
- Article 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.
- Article Vladimir A. Bashkin, Lomazova I. A. Resource Driven Automata Nets // Fundamenta Informaticae. 2011. Vol. 109. No. 3. P. 223-236. doi
- Article В.А. Башкин, И.А. Ломазова Моделирование мультиагентных систем с помощью обобщенных сетей активных ресурсов // Cybernetics and Systems Analysis. 2011. № 2. С. 31-39.
20101
20071
20061
Editorial board membership
2016: Member of the Editorial Board, Труды Института системного программирования РАН (Proceedings of the Institute for System Programming of the RAS).
2006: Member of the Editorial Board, Моделирование и анализ информационных систем.
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.
Doctoral Student Talks about Joint Programme, Complex Systems, and Research during Pandemic
Roman Nesterov, doctoral student and research intern at the Laboratory of Process-Aware Information Systems (PAIS Lab), worked distantly long before it became mainstream. For he is a student of a joint doctoral school and works together with Italian researchers. He talks about his research and how to organise a joint doctoral school.
PAIS Laboratory intern
Khalil Mecheraoui, an Algerian intern at the Laboratory of Process-Aware Information Systems (PAIS), talks about his internship grant, his work at the laboratory, and the presentation at MACS’Pro conference.
Ilya Segalovich Scholarships Awarded on the Fifth Anniversary of HSE’s Faculty of Computer Science
As part of the HSE Faculty of Computer Science fifth anniversary celebration at Mercury Moscow City Tower, Ilya Segalovich Scholarships were awarded.
HSE Staff Members Awarded Status of Tenured Professor
On June 22, several HSE lecturers and staff members were awarded the status of Tenured Professor at a meeting of HSE Academic Council. Sixteen HSE staff members became Distinguished Professors at the Higher School of Economics for the first time.
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.
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.
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’.