Карраскель Гамес Хулио Сесар
- Начал работать в НИУ ВШЭ в 2018 году.
Полномочия / обязанности
В лаборатории ПОИС я работаю в научном проекте "Построение формальных моделей и валидация поведения торговых систем с акциями". Мы используем подход сетей Петри для построения симуляций на основе формальных моделей процессов. Например, мы используем вложенные сети Петри для моделирования мультиагентных систем и общения трейдеров. Мы используем Process Mining для проверки поведения процессов системы. Мы работаем с журналами событий из реальных торговых систем с акциями.
Вы можете прочитать эту статью, чтобы узнать больше о нашей научной работе
Modelling and Validation of Trading and Multi-Agent Systems: An Approach Based on Process Mining and Petri Nets
Обучение в аспирантуре
1-й год обучения
Утвержденная тема диссертации: Построение формальных моделей и валидация поведения систем торговли акциями: подход но основе сетей Петри
Научный руководитель: Ломазова Ирина Александровна
Конференции
- 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
- 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
Публикации3
- Глава книги 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: CEUR Workshop Proceedings Vol. 2432: ICPM Doctoral Consortium 2019. CEUR-WS.org, 2019. Ch. 4. P. 1-12.
- Статья 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. 127-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. 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.
Завершилась международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019)
С 21 по 23 марта в Вене прошла международная конференция Modeling and Analysis of Complex Systems and Processes (MACSPro'2019), организованная компанией ExactPro и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.
