• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
немецкий
французский
Контакты
Телефон:
+7(495) 772-9590 доб. 22500
Электронная почта:
Адрес: Кочновский пр., д. 3, каб. 417а
Время присутствия: Понедельник 13:40 - 16:00
Расписание
SPIN РИНЦ: 7100-2631
ORCID: 0000-0002-9420-3751
ResearcherID: A-1159-2014
Scopus AuthorID: 6701413146
Google Scholar
Руководители
Авдошин С. М.
Аржанцев И. В.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Ломазова Ирина Александровна

  • Начала работать в НИУ ВШЭ в 2010 году.
  • Научно-педагогический стаж: 36 лет.

Образование, учёные степени и учёные звания

  • 2005
    Ученое звание: Профессор
  • 2002

    Доктор физико-математических наук: Вычислительный центр им. А.А. Дородницына РАН, специальность 05.13.17 «Теоретические основы информатики», тема диссертации: Анализ семантических свойств некоторых классов программ и сетей Петри

  • 1990
    Старший научный сотрудник
  • 1982

    Кандидат физико-математических наук: Институт математики СО АН СССР, специальность 01.01.09 «Дискретная математика и математическая кибернетика», тема диссертации: Семантика и динамическая логика для программ с операторами перехода

  • 1977

    Специалитет: Новосибирский государственный университет, факультет: математический, специальность «Прикладная математика»

Достижения и поощрения

  • Почетный работник высшего профессионального образования Российской Федерации (март 2016)
  • Почетная грамота Высшей школы экономики (декабрь 2015)
  • Лучший преподаватель – 2016, 2013, 2012, 2011

  • Надбавка за статью в зарубежном рецензируемом журнале (2015-2017, 2013-2015, 2011-2013)

Учебные курсы (2017/2018 уч. год)

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Учебные курсы (2012/2013 уч. год)

Учебные курсы (2011/2012 уч. год)

Учебные курсы (2010/2011 уч. год)

Учебные курсы (2009/2010 уч. год)

Теоретическая информатика (Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 4, 5 модуль)Рус

Выпускные квалификационные работы студентов

Полный список ВКР

Публикации

20172

  • Статья Begicheva A.K., Lomazova I.A. Discovering High-Level Process Models from Event Logs // Моделирование и анализ информационных систем. 2017. Vol. 24. No. 2. P. 125-140.
  • Глава книги Lomazova I. A. Resource Equivalences in Petri Nets, in: Application and Theory of Petri Nets and Concurrency. 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / Ed. by W. van der Aalst, E. Best. Vol. 10258: Lecture Notes in Computer Science. Switzerland : Springer International Publishing AG, 2017. doi P. 19-34. doi

20168

20153

20148

20135

20123

20113

20101

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

20081

Книга Башкин В. А., Ломазова И. А. Эквивалентность ресурсов в сетях Петри. М. : Научный мир, 2008.

20071

Статья 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

Статья 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.

Гранты

  • РФФИ, грант  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


2013

2012

  • The Third Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012) affiliated with the 7th International Computer Science Symposium in Russia (CSR-2012), July 2012. Nizhni Novgorod, Russia.
  • Concurrency, Specification and Programming International Workshop (CS&P'2012), September 2012. Berlin, Germany.

2011

  • The Second Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2011) affiliated with the 6th International Computer Science Symposium in Russia (CSR-2011), June 2011. St. Petersburg, Russia.
  • Concurrency, Specification and Programming International Workshop (CS&P'2011), September 2011. Pułtusk, Poland.

2010

  • The Workshop on Program Semantics, Specification and Verification: Theory and Applications (PSSV 2010) affiliated with 5th International Computer Science Symposium in Russia (CSR-2010), June 2010. Kazan, Russia.
  • Concurrency, Specification and Programming International Workshop (CS&P'2010), September 2010. Berlin, Germany.

Участие в редколлегиях научных журналов

  • С 2016г.: член редколлегии журнала «Труды Института системного программирования РАН».

  • С 2006г.: член редколлегии журнала «Моделирование и анализ информационных систем».

Научный руководитель диссертационных исследований

на соискание ученой степени доктора наук

Башкин Владимир Анатольевич. Докторская диссертация  по специальности 05-13-17 на тему "Некоторые методы ресурсного анализа сетей Петри". Защищена в Вычислительном центре им. А.А. Дородницына РАН 29 мая 2014. Автореферат

на соискание ученой степени кандидата наук

(совместно с Геннадием Семеновичем Осиповым) Шушакова Анна Геннадьевна. Кандидатская диссертация по специальности 05-13-17 на тему "Исследование методов представления и обработки знаний средствами дескриптивной логики" защищена в Институте программных систем РАН в 2002г.

Башкин Владимир Анатольевич. Кандидатская диссертация по специальности 05-13-17 на тему "Бисимуляция ресурсов в сетях Петри" защищена в Ярославском госуниверситете им. П.Г. Демидова в 2003г.

Опыт работы

Красноярский госуниверситет, ассистент, старший преподаватель, доцент

Институт программных систем РАН, с.н.с., г.н.с.

Российский государственный социальный университет, профессор

Расписание занятий на сегодня

Полное расписание

Результаты совместной работы с исследователями из Университета им. Гумбольдта в Берлине представлены на международной конференции 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 году заседании Ученого совета ГУ-ВШЭ были приняты решения об открытии очередных образовательных программ, создании нескольких научных подразделений, а также утверждено положение о наградах Высшей школы экономики.