Scholar
Valentin Wüstholz
Google Scholar ID: N67gvm8AAAAJ
Diligence Security
Citations & Impact
Citations
1,254
H-index
19
i10-index
25
Publications
20
Co-authors
27
list available
Publications
Resume (English only)
Academic Achievements
- He regularly publishes at top venues in software engineering, software security, formal methods, and artificial intelligence (see DBLP and Google Scholar for more details); notably, three of his papers have received Best Paper Awards.
Research Experience
- At Diligence Security, he leads the R&D efforts around fuzzing for smart contracts, zero-knowledge (ZK) infrastructure, and other complex, mission-critical domains. Most recently, his pioneering fuzzers found more than 25 critical soundness/completeness bugs in widely-used ZK systems, such as Circom, Jolt, Gnark, Noir, and RISC Zero. His extensive R&D experience includes roles in both industry (Consensys, Microsoft, and Google) and academia (ETH Zürich and UT Austin).
Education
- He holds a Ph.D. in Computer Science from ETH Zürich (2015).
Background
- He is a Principal Researcher and Co-founder at Diligence Security, focusing on developing cutting-edge tools and techniques for producing more reliable and correct software. He is best known for developing the Harvey fuzzer for Ethereum smart contracts, which was acquired by Consensys in 2018.
