Computer Science student at the University of Central Florida, focused on backend and distributed systems. I contribute to open source across spacecraft flight software and ML infrastructure.

Flight software and space systems

• nasa/fprime #5357 - C++: fixed a buffer overflow in TlmPacketizer where a channel appearing in multiple telemetry packets had its stored size overwritten, leaving stale buffer offsets so a runtime memcpy could read or write out of bounds. Approved by the JPL F Prime lead.
• nasa/fprime #5414 - C++: corrected FileWorker status propagation that reported a successful read even when the read failed, timed out, or was cancelled, breaking cancel semantics for downstream consumers.
• yamcs/yamcs #1131 - Java: fixed an operator-precedence bug in CCSDS TM secondary-header length decoding; added regression tests.
• libcsp/libcsp #995 - C: fixed a use-after-free in the Cubesat Space Protocol stack by copying a configuration string whose backing buffer was freed before use.
• gazebosim/ros_gz #914 - C++: added AirSpeed message support and bidirectional bridge mapping with round-trip tests.
• AVSLab/bsk_rl #344 - Python: fixed satellite-opportunity ordering when merging access windows, in the AVS Lab spacecraft simulation environment.

ML infrastructure

• microsoft/onnxruntime #29621 - C++: restored CPU FlashAttention on Linux/aarch64 by detecting L2 cache size when sysconf returns 0, preventing an O(S^2) memory fallback and out-of-memory failures.
• UK AI Safety Institute inspect_evals - implemented the OpenBookQA benchmark as an Inspect eval, accepted into the public AISI evaluation registry.

Backend and distributed systems, spacecraft flight software, and ML systems.