Alexis Garado
balloon_head
balloon_head
balloon_head
balloon_head

Hello!

I’m Alexis, a firmware engineer at Supernal working on energy storage systems for electric aircraft. I like figuring out how things work, solving problems, and above all, learning as much as I can. I’m passionate about Linux (Arch btw), embedded systems, computer architecture, and robotics, and in my free time I’m probably playing guitar or out biking somewhere.

Experience

Supernal

Software/Firmware Engineer, Energy Storage Systems (November 2023 - Present)

  • Firmware Engineer, Battery Management System

    • Designed and implemented CAN/UART command handler to streamline manufacturing, maintenance, and servicing of aircraft battery modules, along with complementary Python-based GUI for sending commands and real-time data monitoring
    • Authored comprehensive requirements for battery management firmware and led prototyping efforts to validate design concepts and ensure alignment with performance, safety, and regulatory standards

  • Software Engineer, Energy Management System

    • Designed comprehensive diagnostic faults for energy storage system, collaborating with subsystem teams to ensure full system coverage
    • Developed automated testing and reporting framework for diagnostic faults within system functional simulation using MATLAB, Python, and LaTeX, reducing test and validation time by over 70%

Maxar Technologies

Ground Software Engineer Intern (June - December 2020; June - August 2021)

  • Automated the daily verification of telemetry for 90+ spacecraft, significantly reducing manual effort by eliminating up to 1.5 hours of daily manual checks
  • Conducted unit tests for command and telemetry processing, ensuring readiness for new software releases
  • Gained hands-on experience with agile development methodologies, contributing to efficient project management and iterative development

University of California, Santa Cruz (Sep 2018 - Mar 2023)

Logic Design with Verilog Grader - CSE125/L

  • Tutored students in digital logic design with a focus on ASIC and FPGA systems, guiding them through the design, verification, and testing of large-scale systems using Verilog HDL

Logic Design Tutor - CSE100/L

  • Taught advanced concepts in digital logic design, including Boolean algebra, logic minimization, finite-state machine design, and sequential circuits, while introducing students to programmable logic devices and system-level design principles
  • Covered electrical behavior of circuits, including three-state outputs, propagation delay, logic levels, and fanout, to deepen students’ understanding of practical design considerations

Embedded System Design Tutor/Grader - CSE121/L

  • Instructed students on microprocessor and microcontroller architecture, programming techniques, bus and memory organization, and DMA, covering essential topics such as interrupts, timing issues, peripheral devices, and serial/parallel communication

Advanced Programming in C++ Grader - CSE111

  • Taught the fundamentals of object-oriented software development, including data abstraction, inheritance, polymorphism, and object-oriented design principles

Computer Systems and Assembly Language Tutor/Grader - CSE12/L

  • Introduced students to computer systems and assembly language, covering topics such as digital logic, number systems, data structures, the compilation and assembly process, system software basics, and computer architecture