• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский (свободно)
немецкий
Контакты
Телефон:
+7 (495) 531-00-00
27867
Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. S934
Время присутствия: 13:00 - 18:00
Расписание
SPIN РИНЦ: 3223-8618
ORCID: 0000-0002-4162-9070
ResearcherID: U-5939-2017
Scopus AuthorID: 57189889731
Google Scholar
Блоги и соц. сети
ResearchGate
Руководители
Ломазова И. А.
Лебедев С. А.
Версия для печати

 

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

Нестеров Роман Александрович

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

Образование

  • 2021

    Аспирантура: Национальный исследовательский университет «Высшая школа экономики», специальность «Информатика и вычислительная техника», квалификация «Аспирантура»

  • 2017

    Магистратура: Национальный исследовательский университет «Высшая школа экономики», факультет: Компьютерных наук, специальность «Системная и программная инженерия»

  • 2017

    Магистратура: Национальный исследовательский университет «Высшая школа экономики», специальность «Программная инженерия», квалификация «Магистр»

Дополнительное образование / Повышение квалификации / Стажировки

  • First Intensive School on Cellular Automata (University of Milano-Bicocca)  Сертификат (PDF, 389 Кб)
  • Petri Net Course (Leiden Institute of Advanced Computer Science, University of Leiden)  Сертификат (PDF, 67 Кб)
  • The Introduction to Quantum Computing (Saint Petersburg State University, Coursera)  Сертификат (PDF, 330 Кб)
  • Stochastic Processes (HSE University, Coursera) Сертификат (PDF, 171 Кб)

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

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2018-2019)

Полномочия / обязанности

Разработка и экспериментальная оценка новых подходов для автоматизированного синтеза корректных и структурированных моделей мультиагентных систем по журналам событий (по логам).

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

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

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

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

Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Анг

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

Formal Methods in Software Engineering (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Анг

Конференции

  • 2021
    Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2021) (Москва). Доклад: Generation of Petri Nets Using Structural Property-Preserving Transformations
  • 2020
    International Workshop on Petri Nets and Software Engineering (PNSE-2020) - a satellite event of 41st International Conference on Application and Theory of Petri nets and Concurrency (Онлайн). Доклад: Property-Preserving Transformations of Elementary Net Systems Based on Morphisms
  • 2019
    Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Доклад: Asynchronous Interaction Patterns for Mining Multi-Agent System Models from Event Logs
  • 2018
    Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Доклад: Simulating Behavior of Multi-Agent Systems with Acyclic Interactions of Agents
  • International Workshop "Algorithms & Theories for the Analysis of Event Data (ATAED 2018)" - a satellite of PETRI NETS 2018 and ACSD 2018 (Братислава). Доклад: Compositional Discovery of Workflow Nets from Event Logs Using Morphisms

  • 2017
    Tools and Methods of Program Analysis (Москва). Доклад: Compositional Process Model Synthesis based on Interface Patterns
  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE-2017) (Казань). Доклад: Using Interface Patterns for Compositional Discovery of Distributed Process Models
  • 2015
    Знания - Онтологии - Теории (ЗОНТ-2015) (Новосибирск ). Доклад: Онтология структуры веб-страниц
  • АВТОМАТИЗИРОВАННЫЕ СИСТЕМЫ УПРАВЛЕНИЯ И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ (Пермь). Доклад: Разработка аналитических моделей бизнес-процессов: этап нормализации
  • Информационные технологии в экономике, управлении и бизнесе (Москва). Доклад: Генерация аналитической модели бизнес-процессов на основе визуальной модели
  • 2014
    IV Международная научно-техническая конференция «Открытые семантические технологии проектирования интеллектуальных систем» (Open Semantic Technologies for Intelligent Systems, OSTIS-2014) (Минск). Доклад: Разработка интеллектуального сервиса по анализу предложений на рынке недвижимости
  • Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Доклад: Job Vacancies Gathering Engine Development
  • 2013
    Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Доклад: Intelligent Service for Aggregation of Real Estate Market Offers
  • V Международная студенческая электронная научная конференция «СТУДЕНЧЕСКИЙ НАУЧНЫЙ ФОРУМ 2013» (Москва). Доклад: Анализ структуры представления риэлторской информации в сети Интернет с целью формирвоания подхода к проектирования репозитория агентства недвижимости
  • 2012
    Третья студенческая научно-практическая конференция факультета бизнес-информатики "Информационные технологии - фактор успеха в бизнесе" (Пермь). Доклад: Разработка учебной программы "Визуализатор метода цепочек"

Гранты

Участие в исследовательских проектах, поддержанных грантами:

  1. РФФИ, 2016-2018 гг., проект № 16-01-00546 А «Применение расширений сетей Петри для моделирования, синтеза и анализа адаптивных распределенных информационных систем» (руководитель: Ломазова И.А.).
  2. Научный фонд НИУ ВШЭ, Проект по софинансированию гранта РФФИ  № 15-09-0254 «Разработка визуального языка описания лексико-семантических шаблонов для анализа электронных документов» (руководитель: Ланин В.В.).
  3. РФФИ, 2014-2015 гг., проект № 14-07-31273-мол_а «Разработка многоаспектной онтологии электронных документов» (руководитель: Ланин В.В.).

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

Публикации

20234

20221

Глава книги Bernardinello L., Irina Lomazova, Nesterov R., Pomello L. Property-Preserving Transformations of Elementary Net Systems Based on Morphisms, in: Transactions on Petri Nets and Other Models of Concurrency XVI Vol. 13220: Lecture Notes in Computer Science. Springer, 2022. doi P. 1-23. doi

20211

Статья R.A. Nesterov, S.Yu. Savelyev. Generation of Petri Nets Using Structural Property-Preserving Transformations // Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 3. P. 155-170. doi

20201

Глава книги 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.

20191

Глава книги 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.

20183

20171

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

20161

Глава книги Порязов С., Нестеров Р. А., Лядова Л. Н. Методы трансформации визуальных моделей процессов и систем в аналитические модели // В кн.: Математика программных систем: Межвузовский сборник научных трудов / Отв. ред.: Л. Н. Лядова. Вып. 13. Пермь : Пермский государственный национальный исследовательский университет, 2016. С. 12-21.

20155

20141

Глава книги Нестеров Р. А., Печенежский А. Б., Анисимова Т. Разработка интеллектуального сервиса анализа предложений на рынке недвижимости // В кн.: Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2014) : материалы IV междунар. науч.-техн. конф. (Минск, 20-22 февраля 2014 года). Мн. : БГУИР, 2014. С. 523-526.

20131

Глава книги Lanin V., Nesterov R., Osotova Т. Intelligent Service for Aggregation of Real Estate Market Offers, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013 / Отв. ред.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan : -, 2013. P. 136-138. doi

Опыт работы

ДатыМесто работы и должность
сент. 2019 - н.вр.НИУ ВШЭ, департамент программной инженерии факультета компьютерных наук
фев. 2017 - н.вр.НИУ ВШЭ, научно-учебная лаборатория ПОИС
фев. 2016 - авг. 2017ООО "Биорг"
авг. 2014 -
авг. 2015
ГК "ИВС" (г. Пермь)
авг. 2013 -
авг. 2014
НИУ ВШЭ-Пермь, центр прикладной экономики

Информация*

  • Общий стаж: 9 лет
  • Научно-педагогический стаж: 4 года
  • Преподавательский стаж: 4 года
Данные выводятся в соответствии с требованиями приказа N 831 от 14 августа 2020 г. Федеральной службы по надзору в сфере образования и науки

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

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

Выездной научный семинар «Программная инженерия: молодые специалисты»

Выездной научный семинар департамента программной инженерии состоялся 8-9 декабря 2023 года. Семинар был посвящен научно-исследовательской работе молодых преподавателей и исследователей департамента и студентов, а также вопросам практической подготовки студентов образовательных программ по направлению Программная инженерия на ФКН НИУ ВШЭ.

Завершился первый сезон квизов на ФКН

9 июня прошел финал сезона квизов, которые проводились на факультете в течение года. Квизы были организованы начальником отдела по работе с абитуриентами Павла Азарова и студенческой организацией CSTATI.

Третья школа для учителей информатики прошла на ФКН

20–24 марта на факультете компьютерных наук состоялся очный модульшколы для учителей информатики «Алгоритмы в решении олимпиадных задач».

В лаборатории ПОИС прошел семинар в честь ее десятилетия

3 марта 2023 года состоялся семинар, который был посвящен десятилетию научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС).

Преподаватель департамента программной инженерии Нестеров Роман Александрович защитил кандидатскую диссертацию

Лучшие преподаватели НИУ ВШЭ 2022 года

Поздравляем сотрудников лаборатории - Алексея Мицюка, Нестерова Романа, Карраскель Хулио - с победой в выборах лучших преподавателей ФКН

Интервью с лауреатами стипендии Сегаловича-2022. Часть 2

Продолжаем рассказывать о лауреатах стипендии Сегаловича-2022. Читайте в нашем материале о том, чем живут и что исследуют лауреаты этого года.

На департаменте программной инженерии прошла предварительная защита кандидатских диссертаций Нестерова Р.А. и Карраскеля Гамеса Х.С.

Конкурс на установление надбавок молодым преподавателям-2022

Выпускники вузов 2021 и 2022 годов смогут претендовать на надбавку в размере 80 тысяч рублей

Выбраны лучшие преподаватели 2021 года

Три сотрудника лаборатории: Мицюк Алексей, Шершаков Сергей, Нестеров Роман были признаны лучшими преподавателями в 2021 году. Поздравляем коллег и желаем педагогических и научных успехов!

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.

Аспирант ФКН о совместной аспирантуре, сложных системах и работе в пандемию

Для Романа Нестерова, аспиранта и стажера-исследователялаборатории процессно-ориентированных информационных систем (ПОИС), удаленная работа стала нормой задолго до этой весны: из-за обучения в двойной аспирантуре он постоянно работает с коллегами из Италии. Роман рассказал о своих исследованиях и о том, как можно организовать совместную аспирантуру.

Премия «Золотая Вышка» 2019

Стажёр-исследователь лаборатории - лауреат премии

ФКН на Золотой Вышке 2019

27 ноября в культурном центре Высшей школы экономики состоялось вручение премий ”Золотая Вышка”. Первую церемонию награждения провели 27 ноября 2001 года – в стиле вручения премии “Оскар”, с атрибутами кино и фильмами о номинантах.

Стажеры-исследователи лаборатории ПОИС стали призерами стипендии имени Ильи Сегаловича

В рамках празднования пятилетия ФКН в башне «Меркурий» делового центра «Москва-Сити» прошло вручение стипендии имени Ильи Сегаловича. Каждый год на стипендию номинируются студенты и аспиранты факультета, продемонстрировавшие успехи в учебе и научных исследованиях. В этом году стипендиатами стали Полина Таранцова и Роман Нестеров.

На пятилетии факультета компьютерных наук вручили стипендии имени Ильи Сегаловича

В рамках празднования пятилетия ФКН в башне «Меркурий» делового центра «Москва-Сити» прошло вручение стипендии имени Ильи Сегаловича. Каждый год на стипендию номинируются студенты и аспиранты факультета, продемонстрировавшие успехи в учебе и научных исследованиях.

Завершилась международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019)

С 21 по 23 марта в Вене прошла международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019), организованная компанией ExactPro и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.

Зимняя школа по компьютерным наукам 2019

С 3 по 7 февраля 2019 г. в Учебном центре Вороново состоялась Зимняя школа для поступающих в магистратуру факультета компьютерных наук. В этом году было подано 169 заявок из различных регионов России, а также Болгарии, Украины, Молдавии, Казахстана и Киргизии. Из них 50 участников были приглашены в Учебный центр.

Сотрудники лаборатории представили  исследование, проведенное совместно с группой «Models of Concurrency, Communication and Computation» Миланского Университета-Бикокка на воркшопе "Algorithms & Theories for the Analysis of Event Data (ATAED)"

ATAED охватывает исследования, связанные с синтезом моделей распределенных систем по описанию их поведения – журналам событий, системам переходов, частичным порядкам и т.д. В настоящее время большой интерес представляют работы в области синтеза моделей систем по журналам событий (process mining)

SYRCoSE-2018

С 30 мая по 1 июня в Новгородском государственном университете имени Ярослава Мудрого состоялась конференция молодых ученых по программной инженерии SYRCoSE-2018 (Spring/Summer Young Researchers' Colloquium on Software Engineering). Среди участников конференции были студенты и сотрудники факультета комьютерных наук.

ICML, SYRCoSE, TU Wien, WWDC и другие аббревиатуры этого выпуска

Завершился учебный год, и на факультете компьютерных наук прошли выпускные мероприятия. Всего в этом году дипломы получили 146 бакалавров — выпускников образовательных программ “Прикладная математика и информатика” и “Программная инженерия”. Магистрами стали 79 выпускников образовательных программ “Науки о данных”, “Системная и программная инженерия” и “Математические методы оптимизации и стохастики”.