Карраскель Гамес Хулио Сесар
- Стажер-исследователь:Факультет компьютерных наук / Научно-учебная лаборатория процессно-ориентированных информационных систем (ПОИС)
- Приглашенный преподаватель:Факультет компьютерных наук / Департамент больших данных и информационного поиска
- аспирант:Факультет компьютерных наук / Департамент программной инженерии
- Начал работать в НИУ ВШЭ в 2018 году.
Полномочия / обязанности
- Исследование в области валидации программных систем и бизнес-процессов на основе журналов событий и формальных моделей (Process Mining и сети Петри)
Последние научные статьи и презентации в конференциях
- Checking Conformance between Colored Petri Nets and Event Logs (AIST-2020)
[Слайды] [Статья] [Видео] ("Best Paper" Award - Process Mining Track) - Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems (MACSPro-2020) [Статья]
- Modeling Trading Systems using Petri Net Extensions (PNSE-2020) [Слайды] [Статья] [Видео]
Педагогическая работа
Преподаватель семинаров
- Introduction to Programming (Программирование на C++). Бакалаврская программа "Прикладной анализ данных" (январь-июнь, 2021) [Материалы семинаров и сайт в Github]
- Algorithms and Data Structures 2. Бакалаврская программа "Прикладной анализ данных" (сентябрь-декабрь, 2020)
Научные задачи
- Разработка новых методов валидации поведения программных систем с помощью расширенных моделей сетей Петри. Валидация аспектов, связанных с системными данными и взаимодействием агентов.
- Экспериментальная оценка разработанных методов, на примере торговых систем с акциями.
- Исследование подходов с использованием моделей сетей Петри для описания аспектов торговых систем с акциями, связанных с данными и взаимодействием агентов.
Образование
- 2018
Магистратура: Римский университет Ла Сапиенца, специальность «Компьютерные технологии», квалификация «Магистр наук»
- 2015Специалитет: Центральный университет Венесуэлы

Группа высокого профессионального потенциала (кадровый резерв НИУ ВШЭ)
Категория "Новые исследователи" (2020-2021)
Обучение в аспирантуре
3-й год обучения
Утвержденная тема диссертации: Построение формальных моделей и валидация поведения систем торговли акциями: подход но основе сетей Петри
Научный руководитель: Ломазова Ирина Александровна
Конференции
- 2020International 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 (Онлайн). Доклад: Modeling Trading Systems using Petri Net Extensions
- AIST, the 9th International Conference on Analysis of Images, Social Networks and Texts (online). Доклад: Checking Conformance between Colored Petri Nets and Event Logs
- Modeling and Analysis of Complex Systems and Processes MACSPro'2020 (Венеция). Доклад: Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
- 2019Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Доклад: Towards a Formal Modelling of Order-driven Trading Systems using Petri Nets: A Multi-Agent Approach
- International Conference on Process Mining (ICPM 2019) (Doctoral Consortium Track) (Ахен). Доклад: Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets
- International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019) (Тбилиси). Доклад: Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining
- 2018Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018) (Capri Island). Доклад: Towards traffic-oriented spreading factor allocations in LoRaWAN systems
- Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Доклад: Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
20211
20204
- Препринт 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.
- Глава книги 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.
- Глава книги 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.
- Глава книги 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. (в печати)
20192
- Глава книги 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.
- Глава книги 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.
20182
- Статья Carrasquel Gamez J. C., Morales A., Villapol M. E. Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification // Proceedings of the Institute for System Programming of the RAS. 2018. Vol. 30. No. 4. P. 107-128. doi
- Глава книги Cuomo F., Carrasquel Gamez J. C., Maurizio A., Scipione L., Campo M., Caponi A., Bianchi G., Rossini G., Pisani P. Towards Traffic-oriented Spreading Factor allocations in LoRaWAN systems, in: 2018 17th Annual Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net), June 20-22, 2018, Capri Island, Italy. New Jersey : IEEE, 2018. P. 1-8. doi
Опыт работы
Research Affiliations
- PAIS Process-Aware Information Systems Laboratory (November 2018 - Present). Higher School of Economics. Moscow, Russia.
- DIET Deparment of Information, Electronic and Communication Engineering (July 2017 - January 2018). La Sapienza University of Rome. Rome, Italy.
- ICARO Mobile, Wireless and Distributed Networks Laboratory (January 2015 - August 2015). Central University of Venezuela. Caracas, Venezuela.
Industrial/Work Experience
- INTECS Solutions SpA (January 2017 - April 2017). Rome, Italy. Embedded Software Practitioner/Traineeship. Responsibilities: Development of a tank water-level & temperature monitoring system using ultra low-power microcontrollers. A report of the developed system is available here: Tank water-level & temperature monitoring embedded system
(PDF, 1,85 Мб) - Bee Concept Solutions (January 2016 - May 2016). Caracas, Venezuela. Java Software Engineer. Responsibilities: Development of a payment notification module within a B2B platform covering all tasks throughout the software development process. The web application framework was Struts (based in Java).
- Wincor Nixdorf International (nowadays Diebold Nixdorf, August 2013 - May 2015). Caracas, Venezuela. Android and Desktop Solutions Developer. Responsibilities: Development of mobile (Android) and desktop (JavaFX) software clients, as consumers of RESTful services within a service-oriented architecture (SOA) for providing banking and financial services.
The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)
Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов
Аспирант из Алжира о стажировке в лаборатории ПОИС
Халил Мешерауи, аспирант Университета Константина 2 – Абдельхамид Мехри (Алжир), рассказывает о том, как он получил грант на поездку в Москву, о своей стажировке в лаборатории Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) и совместной работе с исследователями лаборатории.
Завершилась международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019)
С 21 по 23 марта в Вене прошла международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019), организованная компанией ExactPro и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.