At Ball Corporation, I designed and built a workforce optimization platform for manufacturing operators, formulating worker substitution as a constraint optimization problem. Its backend uses Rust, Axum, and PostgreSQL, and integrates with a Python solver based on CP-SAT and Google OR-Tools.
At Appworks, I built backend integrations and Redis caching for mobile applications, and worked on production infrastructure on Hetzner. I’ve also led backend engineering for a restaurant application startup and developed a secure voice communication system combining embedded firmware, FPGA security, and encrypted LoRa voice transport.

