Engineer @ heart | Web3 builder (Solana, Sui, Aptos) | ZK, Gaming & Infra 💻 | Scaling startups, architecting ideas | Talks & hands-on vibes 🎤

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

call me bob the way im always building