Details
Yi Sun is the co-founder of Axiom, responsible for software formal verification. Previously, he was an assistant professor in the Department of Statistics at the University of Chicago. His educational experience includes the Massachusetts Institute of Technology, the University of Cambridge, and Harvard University.
Work Experience
Education Experience
Investment
V
V12AI-powered code security auditing platform that validates and fixes vulnerabilities
CConduitBlockchain infrastructure for Rollup deployment and high-performance RPC
CCliqueAn identity oracle protocol connecting Web2 user behaviors to Web3 applications
DDaimoA non-custodial stablecoin wallet based on account abstraction
MMoonMathPrivacy-first AI inference endpoint
InactiveWWITNESSAccelerating Web3 Ownership and Verifiability