• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
испанский (родной язык)
английский (свободный)
итальянский (свободный)
русский (базовый)
Контакты
Телефон:
22849
Электронная почта:
Адрес: АУК "Покровский бульвар", Покровский б-р, д.11, каб. T923
Время присутствия: 9:00-18:00
Резюме (PDF, 101 Кб)
ORCID: 0000-0003-3557-797X
ResearcherID: U-3530-2018
Scopus AuthorID: 57203202920
Google Scholar
Блоги и соц. сети
LinkedIn
ResearchGate
Руководитель
Ломазова И. А.
Версия для печати

 

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

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

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

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

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

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

Публикации4


Опыт работы

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 и лабораториями МУСС и ПОИС. В конференции приняли участие ведущие специалисты в области тестирования и прогнозирования сложных систем и процессов из Испании, России, Нидерландов, Грузии и других стран.