Jacob specializes in blockchain security audits across various verticals ​and participates in the development of our in-house vulnerability ​detection tools.
He has conducted academic research in formal methods, ​programming languages, static analysis, and zero-knowledge proofs.
Jacob earned his Ph.D. in Computer Science from the University of ​Washington in Seattle, focusing on programming languages, and his ​undergraduate degree from the University of Texas at Austin.
Jacob worked at Veridise until the end of 2024.
Experience overview
Experience
Cairo, Circom, Go, Leo, Rust, Solidity, Typescript, Metamask Snap, Substrate, arkworks, mongoose
Specialities
Smart Contracts, Zero Knowledge
Previous work
Academic work
- Specification and verification in the field: Applying formal methods to {BPF} just-in-time compilers in the linux kernel
- Component-based synthesis of table consolidation and transformation tasks from examples
- Synthesizing JIT Compilers for In-Kernel DSLs
- Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
- Program Synthesis for the Modern Programmer
- See Jacob’s academic research papers on Google Scholar
Conference presentations
Medjai: Verifying ZK ​Sm​art Contracts
18 min
|
EthCC 2​023