Professional Contact - https://www.linkedin.com/in/alan-yuan-62301272

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

Fmr. Executive Editor at Atlantic Media; Fmr. Chief Wash. Correspondent, MSNBC. Founder/Publisher of the first brand in cyberspace: CyberWire Dispatch.

Founder | Software Engineer. Building products that empower individuals.

I write about machine learning, deep learning, and statistics with Python, making complex ideas ridiculously clear.

Rust, security, and snark.