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.
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
Conference presentations
Jacob has delivered presentations on our in-house tooling
Medjai: Verifying ZK Smart Contracts
18 min | EthCC 2023