CSO at Veridise, leading audit scoping, scheduling, and execution. Audits smart contracts and zero-knowledge systems across EVM, NEAR, and major ZK stacks including halo2, arkworks, gnark, o1js, and circom. Formerly worked on automated contract and circuit security at Vanguard.