Research & writing
This is where I collect my research papers and reports, along with PDFs, source code, and presentation material.
Complete work
These documents are finished and available to read. Related code and presentation details are included when available.
A machine-supported proof that one-step predecessor existence is NP-complete for explicitly encoded finite Game-of-Life boards with a permanently dead exterior.
An edge-oriented person detection and re-identification prototype that shares embeddings instead of streaming every camera feed to a central server.
Presented at Stanford ACT4AERO workshop