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

• Отделение программной инженерии | Кафедра управления разработкой программного обеспечения: профессор
• Магистерская программа "Системная и программная инженерия": руководитель

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

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

Лучший преподаватель - 2011

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

Научные интересы

Формальные модели параллельных и распределенных систем, анализ поведенческих свойств, сети Петри, моделирование и анализ бизнес-процессов.

Участие в конференциях

2011

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

2010

• The International Conference "Concurrency, Specification and Programming. CS&P'2010", 27 - 29. September 2010. Berlin, Germany.
• 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 14-15, 2010. Kazan, Russia.

Текущие проекты и гранты

• Фонд образовательных инноваций  НИУ ВШЭ, гранты на чтение курсов "Формальные методы программной инженерии" (2010-11, 2011-12 уч.годы) и "Системы управления бизнес-процессами" (2011-12 уч. г.) на английском языке,  создание проекта совместной магистерской программы "Системная и программная инженерия" (2011 г.), разработку концепции НИС "Верификация моделей программ" в бакалавриате (2011 г.).
• РФФИ, грант 11-01-00737-а "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011-13 гг.)
• Научный фонд НИУ ВШЭ, грант 10-09-0031 Софинансирование гранта РФФИ "Разработка и исследование многоуровневого ресурсно-ориентированного формализма для моделирования и анализа мультиагентных систем с динамической структурой" (2011 г.)
• Научный фонд НИУ ВШЭ, гранты на участие в конференциях

- 6th International Computer Science Symposium in Russia (CSR-2011). 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.

• Научный фонд НИУ ВШЭ, грант 11-01-0032 Индивидуальный исследовательский проект "Методы анализа семантических свойств распределенных систем с объектной структурой" (2012-13 гг.)

Дополнительные сведения

• Академик Российской Академии Естественных Наук (2006)
• Член диссертационного совета Д 212.307.03 при Ярославском государственном педагогическом университете им. К.Д. Ушинского по специальности 13.00.02.
• Член редколлегии журнала «Моделирование и анализ информационных систем» (список ВАК).
• Руководитель научного семинара "Спецификация и верификация распределенных систем".

Учебные курсы

• Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 1-4 модуль)
• Научно-исследовательский семинар "Верификация моделей программ" (Бакалавриат; где читается: Отделение программной инженерии; 2-й курс, 1-4 модуль)
• Научно-исследовательский семинар "Программная инженерия: управление разработкой" (Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 2-й курс, 1-3 модуль)
• Системы управления бизнес-процессами (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения", "Методы и теория программной инженерии"; 1-й курс, 3, 4 модуль)
• Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; спец-я "Программная инженерия"; 3-й курс, 2, 3 модуль)
• Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; 2-й курс, 3, 4 модуль)
• Теория автоматов и формальных языков (Бакалавриат; где читается: Отделение программной инженерии; 4-й курс, 1, 2 модуль)
• Формальные методы программной инженерии (Магистратура; где читается: Отделение программной инженерии; программа "Системная и программная инженерия"; спец-я "Управление разработкой программного обеспечения", "Методы и теория программной инженерии"; 1-й курс, 1-4 модуль)
• Верификация моделей программ (уч. год: 2010–2011; Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 1-4 модуль)
• Научно-исследовательский семинар "Программная инженерия: управление разработкой" (уч. год: 2010–2011; Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 2-й курс, 1-3 модуль)
• Научно-исследовательский семинар "Программная инженерия: управление разработкой" (уч. год: 2010–2011; Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 1-й курс, 2-4 модуль)
• Теория автоматов и формальных языков (уч. год: 2010–2011; Бакалавриат; где читается: Отделение программной инженерии; спец-я "Программная инженерия"; 3-й курс, 2, 3 модуль)
• Формальные методы программной инженерии (уч. год: 2010–2011; Магистратура; где читается: Отделение программной инженерии; программа "Управление разработкой программного обеспечения"; 1-й курс, 1-4 модуль)
• Теоретическая информатика (уч. год: 2009–2010; Бакалавриат; где читается: Отделение программной инженерии; 1-й курс, 4, 5 модуль)

Диссертации

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

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

• Калашников А. О. Распределенные модели биологических вычислений на основе сетей Петри (aспирантура: 2-й год обучения)

Публикации

2011

2010

2009

2008

2007

2006

2005

2004