Software Engineer
Most of what I build starts as a way to learn something the hard way. I’ve always been curious about systems and how they actually work.
U.S. Marine Corps veteran, seeking early-career software engineering roles.
A 500 Hz timing and telemetry foundation for thrust-vector-control work. I investigated how Linux scheduling and timer placement affect when the control thread actually runs.
16.5 µs p99.9 wakeup jitter in the measured, allocation-free configuration. The case study covers the investigation, repeated measurements, and the cost of telemetry.
C++20 · Linux · performance measurement
A verification harness for AI coding agents. It checks whether a patch fixes a seeded bug, using a correct reference and independent checks even when the test suite passes.
Skeptic issued FAIL verdicts for 12 of 29 constructed shortcut patches, compared with 6 of 29 flagged by a suite-only baseline. The case study includes challenge-set results and explains the evaluation’s limits.
Python · Docker · software verification