Valentin is a Principal Researcher and Co-founder at Diligence Security. He focuses 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 that was acquired by Consensys in 2018. 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.
Valentin holds a Ph.D. in Computer Science from ETH Zürich (2015) and his extensive R&D experience includes roles in both industry (Consensys, Microsoft, and Google) and academia (ETH Zürich and UT Austin). 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.