Skip to content
View GabrielEValenzuela's full-sized avatar
💻
Working ! 😃
💻
Working ! 😃
52 followers · 32 following

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pair Extraordinairex2Achievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@wazuh @Esc-IngComp-UNC

Block or report GabrielEValenzuela

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
GabrielEValenzuela/README.md

👋 Gabriel Valenzuela

Engineer • Researcher • Educator — Building secure, high-performance systems & shaping the next generation of developers.

🎓 Master’s in Software Engineering candidate | 🔒 Cybersecurity Specialist | 🎤 Speaker
📍 Córdoba, Argentina

🛠 Core Technologies

C++ C Go Python Bash Linux ZephyrOS OpenMP RocksDB MongoDB SQLite PostgreSQL RabbitMQ Kubernetes Docker GitHub Actions

📌 Featured Projects

PetriNet Studio

Master’s Thesis SaaS Platform for simulation & analysis of Petri Nets.

  • Tech: C++ · Go · React · Kubernetes · RabbitMQ · OpenTelemetry
  • Supports timed, stochastic, hierarchical Petri Nets with high-performance simulation engine.
  • Asynchronous job orchestration with microservices and polyglot persistence.
  • Multi-tenant architecture with observability and fault tolerance.

🎤 Talks & Research Highlights

🎥 Talks 📄 Publications
From C to Modern C++: Transforming the classroom — Meeting C++ 2024 Minimal Coverability Trees: Vectorized Algorithm & Concurrent Monitor
Unlocking Functional Power in C++20 — C++ London Informe final PS: State of the Art in Petri Net Simulators
Petrinets: What are they? How can they help us? — Meeting C++ 2022 Diseño de domo estático
From Córdoba to the world: My first C++ talk — Meeting C++ 2025 Redes de Petri: Algoritmo para la construcción de árboles de mínima cobertura

📢 Community & Teaching

  • Member of the IEEE
  • 🧩 Founder — C+rd+ba, promoting C++ development in Córdoba.
  • 🔗 Member — RUNIC (Red Universitaria de Ingeniería en Computación).
  • 100+ hours of university lectures on operating systems, algorithms, and distributed systems.
  • Advocate for open education through technical talks and workshops.

📊 GitHub Stats

Gabriel's GitHub stats Top Languages

🤝 Let’s Connect

💡 "Empowering engineers through education, rigor, and community — building software systems as trustworthy as they are performant."

Pinned Loading

  1. wazuh/wazuh wazuh/wazuh Public

    Wazuh - The Open Source Security Platform. Unified XDR and SIEM protection for endpoints and cloud workloads.

    C 13.8k 2k

  2. C-Seminars C-Seminars Public

    Repository used for C Seminars

    C 7

  3. MicrocontrollerExamples MicrocontrollerExamples Public

    Example projects for LPC1769 and STM32 microcontrollers. Includes code samples and setup instructions for various functionalities and peripherals. Ideal for learning and implementing embedded syste…

    C 12 1

  4. AlgorithmsAndDataStructures_Course2025 AlgorithmsAndDataStructures_Course2025 Public

    Repositorio del curso Algoritmos y Estructuras de Datos en C++ (2025). Proyecto basado en Fallout, donde implementamos estructuras de datos avanzadas y algoritmos como recursión, herencia, polimorf…

    C++ 3 42

  5. cpp-sanctum cpp-sanctum Public

    A sanctuary for those who build in C++ — with power, precision, and no memory leaks.

    CMake 1