At Veridise, Tim serves as a Senior R&D Engineer. Tim conducts ZK circuit related security audits and is a member of our in-house tooling development team.
He has conducted academic research in language-based security, focusing on information flow control of JVM bytecode programs through hybrid static and dynamic program analysis.
In addition to his academic accomplishments, Tim brings extensive experience from his role at Cirrus360, where he constructed a new domain-specific language (DSL) and developed a compiler. Previously, he worked at Ericsson and FutureWei Technologies.
Tim earned his M.Sc. in Computer Science from The University of Texas at Dallas.
Experience overview
Experience
C++, Circom, Rust, Solidity, Vyper, Halo2, plonky2x, plonky3
Specialities
Smart Contracts, Zero Knowledge, Infrastructure
Previous work
Auditing work
- Succinct, June/2024, SP-1 ZK-VM
- Sygma, May/2024, Spectre – ZK co-processor
- Succinct, Mar/2024, ZK circuits in Plonky2x