• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
German
French
Contacts
Phone:
+7(495) 772-9590 доб. 22500
E-mail:
Address: Room 417a, 3 Kochnovsky proezd, Moscow
Timetable
SPIN-RSCI: 7100-2631
ORCID: 0000-0002-9420-3751
ResearcherID: A-1159-2014
Scopus AuthorID: 6701413146
Google Scholar
Office hours
Понедельник 15:00 - 16:40Четверг 15:00 - 16:40
Supervisors
S. M. Avdoshin
I. Arzhantsev
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Irina A. Lomazova

  • Irina A. Lomazova has been at HSE since 2010.

Education, Degrees and Academic Titles

  • 2005
    Professor
  • 2002

    Doctor of Sciences* in Theoretical Foundations of Computer Science
    Russian Academy of Sciences Dorodnitsyn Computation Center

  • 1990
    Senior 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

    Diploma
    Novosibirsk State University

* Candidate of Sciences
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.
* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.

Awards and Accomplishments

Best Teacher – 2017, 2016, 2013, 2012, 2011

Courses (2017/2018)

Courses (2016/2017)

Formal Methods in Software Engineering (Master’s programme; Faculty of Computer Science; programme "System and Software Engineering"; 1 year, 1-4 module)Eng

Courses (2015/2016)

Courses (2014/2015)

Courses (2013/2014)

Courses (2012/2013)

Courses (2011/2012)

Courses (2010/2011)

Student Term / Thesis Papers

Full list of of student term / thesis papers

Publications

20181

Chapter Nesterov Roman A., Lomazova Irina A. Compositional Process Model Synthesis based on Interface Patterns, in: Tools and Methods for Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers Vol. 779: Communications in Computer and Information Science. Springer International Publishing, 2018. (in print)

20179

20166

20152

20148

20134

20123

20113

20101

Article Lomazova I. A. Interacting Workflow Nets for Workflow Process Re-Engineering // Fundamenta Informaticae. 2010. Vol. 101. No. 1-2. P. 59-70. doi

20071

Article 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.

20061

Article Lomazova I. A., Voorhoeve M., Oanea O., van Hee K., Sidorova N., Serebrenik A. Nested Nets for Adaptive Systems.  // Lecture Notes in Computer Science. 2006. Vol. 4024. P. 241-260.

Conferences

  • 2014

    Verification and Program Transformation (VPT 2014) (Вена). Presentation: Branching Processes of Conservative Nested Petri Nets

  • Concurrency, Specification and Programming (CS&P'2014) (Хемниц). Presentation: Controlling Petri Net Behavior using Priorities for Transitions


Editorial board membership

  • 2016: Member of the Editorial Board, Труды Института системного программирования РАН (Proceedings of the Institute for System Programming).

  • 2006: Member of the Editorial Board, Моделирование и анализ информационных систем.

Timetable for today

Full timetable

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’.