PhD @ Columbia researching AI & system security | https://github.com/h5i-dev/h5i (Axum‑based Rust web framework designed for formal verification with Lean 4)