Jon’s expertise and interest lie in the formal methods of computer science: program analysis, program verification, synthesis, and security.

During his PhD studies at UT Austin (as part of the UToPiA Group), Jon has published research and developed tools in smart contract and ZK security (e.g., SmartPulse and Zequal).

Earlier, Jon graduated with a B.Sc. and an M.Sc. in Computer Science from the University of Arizona, where he conducted research in malware detection evasion, analysis of exception-based control transfers, covert channels, static analysis (covert collusion detection), and dynamic analysis (language-agnostic interpreter optimization).

At Veridise, Jon has audited a wide range of protocols, including smart contracts, blockchain implementations, and ZK circuits. Jon has audited clients such as RISC Zero, Succinct, Semaphore, vLayer, and Ankr