Карраскель Гамес Хулио Сесар

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

Начал работать в НИУ ВШЭ в 2018 году.

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

В лаборатории ПОИС я работаю в научном проекте "Построение формальных моделей и валидация поведения торговых систем с акциями".

https://pais.hse.ru/en/research/projects/tradingsystems

Мы используем подход сетей Петри для построения симуляций на основе формальных моделей процессов. Например, мы используем вложенные сети Петри для моделирования мультиагентных систем и общения трейдеров. Мы используем Process Mining для проверки поведения процессов системы. Мы работаем с журналами событий из реальных торговых систем с акциями.

Вы можете прочитать эту статью, чтобы узнать больше о нашей научной работе

Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets (PDF, 436 Кб)

Образование

2018

Магистратура: Римский университет Ла Сапиенца, специальность «Компьютерные технологии»

Профессиональные интересы

Petri Nets Process Mining Software Engineering Computer Networks Algorithm Design

Обучение в аспирантуре

2-й год обучения
Утвержденная тема диссертации: Построение формальных моделей и валидация поведения систем торговли акциями: подход но основе сетей Петри
Научный руководитель: Ломазова Ирина Александровна

Конференции

2019
Modeling 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
2018
Mediterranean 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

Публикации⁴

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

апр

2019

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

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