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 scheduler to meet real-time constraints on both RTOS and bare-metal systems
• ›
• › Build a Python-based tool to interface with the BMS via CAN/UART for hardware-in-the-loop testing, maintenance, and real-time monitoring
• › Author actionable and traceable software requirements through decomposition of complex system-level requirements
• › 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