Alexis Garado

• › Develop safety-critical firmware for eVTOL battery management system in C on ARM Cortex-R5 and Cortex-M7 processors
• › Implement low-level drivers (CAN, I2C, SPI, UART, PWM), contactor control for high-voltage switching, and cell-level and pack-level data acquisition and transmission
• › Implement deterministic task scheduling to meet hard real-time constraints on both RTOS and bare-metal systems
• ›
• › Build a Python-based diagnostic tool to interface with the battery management system via CAN and UART to enable system maintenance, debugging, testing, and real-time monitoring
• › Decompose complex system-level requirements into actionable software requirements while maintaining full traceability throughout the development and testing lifecycle
• › Support formal requirements-based verification and validation processes for battery management system software

• › Authored comprehensive requirements for energy storage system fault diagnostics
• › Developed automated testing and reporting framework using MATLAB/Simulink, Python, and LaTeX for model-based diagnostic software validation, cutting verification and validation time by over 70%

• › Developed satellite telemetry archival software in C++
• › Automated daily verification of telemetry for 90+ spacecraft, a task that normally took up to 1.5 hours to do manually every day
• › Ran unit tests for command and telemetry processing to prepare for new software releases

Led software development for autonomous robot capable of target detection and projectile launching. Implemented sensor fusion algorithms for target identification and ranging, motor control systems for precise movement and aiming, and navigation algorithms for obstacle avoidance on PIC32 MCU. Collaborated on hardware design and mechanical systems integration.

Nintendo Game Boy emulator in C++ with full CPU instruction set implementation, graphics rendering, and memory mapping.

• garado.dev ↗
• linkedin.com/in/garado ↗
• github.com/garado ↗
• alexisgarado@gmail.com