Software &
Embedded SystemsRobotics · Mission software · Integration and testing

• Architected distributed real-time control for a production multi-axis motor system; implemented the CAN protocol, ARM Cortex-M node firmware, central controller, multilayer Altium PCBs, feedback, fault detection, and safe-stop behavior.
• Owned board bring-up and hardware/software integration, delivering robotic controls under a fixed production deadline.
• Traced intermittent CAN latency with a logic analyzer to a control-loop deadline overrun, moved scheduling to a fixed-rate timer interrupt, and revalidated motion; integrated SLAM registration with Unreal Engine, documented operations, and trained production staff.

• Support engineering and planning for O3’s aviation, aerospace, maritime, shipbuilding, and advanced-manufacturing programs, including the O3-led, $15 billion-plus Orlando Sanford International Airport development opportunity.
• Develop system architecture, technical workflows, software and data requirements, simulation tools, and decision-support concepts for pilot and technician training, aircraft manufacturing, distributed shipbuilding, and shipyard operations.
• Perform computer and systems engineering for blended-wing-body aircraft, unmanned aerial vehicles, unmanned surface vessels, and advanced boats and small ships, including autonomy, control systems, digital-engineering workflows, simulation integration, and requirements traceability.

Selected O3 engineering projects follow below.

Rust, Python, FastAPI, PostgreSQL, React, Docker

• Developed software for potential deployment by leading U.S. shipbuilders, connecting an ontology of parts, equipment, workers, and task dependencies to an operator interface; integrated OPC-UA adapters and OR-Tools CP-SAT scheduling.
• Implemented role-based access, event history, tamper-evident audit records, and local deployment; adapted workflows to operator feedback.

Python, NumPy, SciPy, OpenVSP, CalculiX

• Connected parametric geometry with aerodynamic, structural, mass, and aeroelastic analysis; screened hundreds of variants, validated three finalists with higher-fidelity tools, and identified a trade-study design with approximately 24% lower structural mass than its baseline.
• Built an event-backed validation chain across geometry and analysis handoffs, retained solver artifacts, checked outputs against published references, and flagged uncertain results for engineering review.

Rust, PX4 v1.16

• Built a Rust analyzer for C/C++ flight software with function discovery, call extraction, MAVLink-handler lookup, and heuristic checks for authentication references, unsafe memory access, and unexpected navigation-state writes; validated behavior with 29 passing tests and a release build.
• Validated call-graph extraction and detection rules against PX4 function lookups and vulnerable-versus-corrected fixtures, producing findings for source review.

Haskell, signal processing, simulation

• Built a replayable signal and decision pipeline using FFT and CA-CFAR detection, emitter-feature extraction, threat-library matching, constrained response selection, confidence-based abstention, and reproducible Nix environments.
• Processed synthetic and SigMF replay IQ; evaluated response plans against mission state, spectrum restrictions, and resource constraints, preserving decision evidence for adversarial simulation and replay-based debugging.

• Designed tools and workflows to organize and synchronize video, images, documents, timelines, and demonstrative exhibits; created courtroom-ready multimedia presentations and applied data-processing, conversion, quality-control, and retrieval methods across large evidentiary records.