• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
Address: 11 Pokrovsky Bulvar, Pokrovka Complex, room T922
ORCID: 0000-0003-3557-797X
ResearcherID: U-3530-2018
Scopus AuthorID: 57203202920
Google Scholar
I. A. Lomazova
Printable version


Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Julio Cesar Carrasquel Gamez

  • Julio Cesar Carrasquel Gamez has been at HSE University since 2018.


  • 2018

    Master's in Engineering in Computer Science
    Sapienza University of Rome

  • 2015

    Degree in Computer Science
    Central University of Venezuela

Courses (2023/2024)

Courses (2022/2023)

Algorithms and Data Structures (Bachelor’s programme; Faculty of Computer Science; 2 year, 1-4 module)Eng

Courses (2021/2022)

Courses (2020/2021)

Awards and Accomplishments

Young Faculty Support Programme (Group of Young Academic Professionals)
Category "New Researchers" (2020-2021)


Research on analysis of software systems and business processes using event logs and formal process models (Process mining and Petri nets)


  • 2020
    International 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 (Онлайн). Presentation: Modeling Trading Systems using Petri Net Extensions
  • AIST, the 9th International Conference on Analysis of Images, Social Networks and Texts (online). Presentation: Checking Conformance between Colored Petri Nets and Event Logs
  • Modeling and Analysis of Complex Systems and Processes MACSPro'2020 (Венеция). Presentation: Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems
  • 2019
    Modeling and Analysis of Complex Systems and Processes (MACSPro'2019) (Вена). Presentation: 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) (Ахен). Presentation: 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) (Тбилиси). Presentation: Pre-Processing Network Messages of Trading Systems into Event Logs for Process Mining
  • 2018
    Mediterranean Ad Hoc Networking Workshop (Med-Hoc-Net 2018) (Capri Island). Presentation: Towards traffic-oriented spreading factor allocations in LoRaWAN systems
  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2018) (Великий Новгород). Presentation: Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification

Dissertation for a degree of Candidate of Science



Chapter Julio C. Carrasquel, Irina A. Lomazova. Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives, in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program Analysis / Ed. by R. Yavorskiy, A. R. Cavalli, Anna Kalenkova. Vol. 1559: CCIS . Springer, 2024. doi P. 94-106. doi





Employment history

Research Affiliations

  • PAIS Process-Aware Information Systems Laboratory (November 2018 - Present). Higher School of Economics. Moscow, Russia.

    Log-based Validation of Trading Software Systems using Process Mining (PDF, 413 Кб)


  • 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.



Timetable for today

Full timetable

Pursuing a PhD in Russia: ‘Attractive and Exotic’

After getting his Master’s degree in Computer Science in Rome, Julio Carrasquel decided not to pursue a corporate career in IT, but to move to Moscow to get a PhD at HSE University. As a result, he received a scholarship on the Advanced Doctoral Programme, successfully defended his thesis, and was named one of the university’s Best Teachers. Julio talked with the HSE News Service about his path in academia and life in Russia.

PAIS Laboratory intern

Khalil Mecheraoui, an Algerian intern at the Laboratory of Process-Aware Information Systems (PAIS), talks about his internship grant, his work at the laboratory, and the presentation at MACS’Pro conference.