Research Intern · Spin Drift Technologies · Nov 2025 – May 2026 · code under NDA
A from-scratch visual-inertial odometry pipeline in C++23: stereo cameras and an
IMU in, live pose out, streamed to a PX4 flight controller as hand-framed MAVLink v2
(CRC, ENU-to-NED) so the link carries no dependencies. Pyramidal Lucas-Kanade stereo
tracking, MAGSAC++ outlier rejection, IMU pre-integration on SO(3).
Research Intern · Phi Dynamics · May – Aug 2025 · code under NDA
Compiler and analysis infrastructure for a fuzzer that aims to exercise
substantially every execution path through firmware: an LLVM pass rewriting program
IR into a canonical deterministic form, a C++ constraint-graph path solver served
over a socket, a customized AFL++ fork, and a Guix channel pinning the toolchain for
bit-identical team-wide builds.
LLVM / C++ · Clang · AFL++ · Guix · Answer Set Programming
Networks Lead · MIT Lincoln Laboratory · SOCOM Ignite · Sep 2024 – Apr 2025
A secure short-range radio for US Navy field operators, trading range for a minimal
RF signature. Designed the custom protocol — framing sized to benchmarked NRF24
throughput — with one stack across Raspberry Pi, Teensy, and RP2040, plus HINT, a
zero-interaction USB configuration loader for operators who cannot type under field
stress. Demonstrated across two hardware generations.
Cornell HyperloopTwo semesters on the electrical team’s software: a browser-based dashboard (Python Dash + Plotly, Docker) monitoring and controlling the pod’s electrical systems live, fed over a TCP serial-server bridge.
DetSitePublic website for AFROTC Detachment 520 at Cornell, built page-by-page to the official Air Force compliance checklist (AFI 35-101); complete, pending command approval.