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

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

Начал работать в НИУ ВШЭ в 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

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

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

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.

июн

2020

Аспирант из Алжира о стажировке в лаборатории ПОИС

Халил Мешерауи, аспирант Университета Константина 2 – Абдельхамид Мехри (Алжир), рассказывает о том, как он получил грант на поездку в Москву, о своей стажировке в лаборатории Научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС) и совместной работе с исследователями лаборатории.

апр

2019

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

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