Mechatronics Engineering student at UFSC (final year, July 2026) and Firmware Engineer @ Binho. I work across the hardware/software boundary — bare-metal, RTOS, and Linux embedded systems — with a research interest in formal verification of real-time scheduling.
- Firmware @ Binho — driver and system-architecture work for US-based hardware, remote with an international team.
- Zephyr RTOS — integration on STM32N6, custom drivers (incl. Waveshare e-paper displays).
- Connectivity — Wi-Fi co-processor implementation over ESP-AT with ESP32-C6.
- Research @ UFSC Embedded Systems Lab — formal verification (TLA+, UPPAAL) and task-scheduling strategies for multitasking RTOS.
DevKit-Zephyr — Zephyr RTOS Dashboard
Desktop tool for embedded engineers working with Zephyr: real-time log visualization, system metrics (heap / stack / threads), and debugging insights — all without rebuilding with debug configs.
vTaskSoS — Real-Time Scheduling on FreeRTOS
Final project for Real-Time Systems (EMB-5633, UFSC). Implements Rate Monotonic scheduling, Priority Inheritance Protocol, and a Polling Server for aperiodic tasks on Arduino UNO + FreeRTOS.
Bellevue Lighting Control — WebSocket-driven LED Dashboard
Production interface for Evolution Virtual's VIBRANT API. Real-time channel control of LED lighting boards over WebSocket, with passcode auth and responsive UI.
DSP coursework — filter design, transform analysis, and signal reconstruction in Python.
Languages
Embedded & RTOS
Hardware
Environment
Protocols — MQTT · I3C · SPI · UART · ESP-AT
Formal Methods — TLA+ · UPPAAL
- Firmware Engineer · Binho LLC — Nov 2025 – Present · Remote (San Francisco, CA)
- Technical Support Analyst · Evolution Virtual — Sep 2024 – Present · Remote (Chicago, IL)
- Engineering Intern · Sensorville IIoT — Feb 2024 – Sep 2024 · Joinville, BR
- Undergraduate Researcher · UFSC Embedded Systems Lab — Aug 2023 – Present Multitasking software verification; formal methods and task-scheduling strategies.
- Teaching Assistant · UFSC — Sep 2022 – Dec 2023 Microcontrollers (C) & Object-Oriented Programming (C++).
- Terra Team (RoboSub) · UFSC — Aug 2021 – Jan 2024 Embedded Systems Team Member → Team Lead → Project Lead. Firmware and hardware integration for an autonomous submarine.
- 🐧 Daily driver: Arch Linux + Hyprland.
- 🗣️ Languages: Portuguese (native) · English (C2) · German (basic) · Italian (A1).
