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

 

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

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

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

Образование

  • 2018

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

  • 2015
    Специалитет: Центральный университет Венесуэлы

Учебные курсы (2021/2022 уч. год)

Учебные курсы (2020/2021 уч. год)

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

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

Исследование в области валидации программных систем и бизнес-процессов на основе журналов событий и формальных моделей (Process Mining и сети Петри)

Конференции

  • 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 (Онлайн). Доклад: Modeling Trading Systems using Petri Net Extensions
  • AIST, the 9th International Conference on Analysis of Images, Social Networks and Texts (online). Доклад: Checking Conformance between Colored Petri Nets and Event Logs
  • Modeling and Analysis of Complex Systems and Processes MACSPro'2020 (Венеция). Доклад: 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) (Вена). Доклад: 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
  • International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019) (Тбилиси). Доклад: 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). Доклад: 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

Публикации

20213

20203

20192

20182


Опыт работы

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.

Расписание занятий на сегодня

Полное расписание

На департаменте программной инженерии прошла предварительная защита кандидатских диссертаций Нестерова Р.А. и Карраскеля Гамеса Х.С.

The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)

Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов

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

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

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

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