Leo Alt builds formal-verification systems at Axiom Math after co-founding powdr labs, which develops zkVM tooling. Works across verified compilers, zero-knowledge VMs, and proof-preserving optimization.