Valentin Wüstholz
Principal Researcher And Co-founder at Consensys Diligence
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolValentin Wüstholz is a Principal Researcher and co-founder with 20 years of experience building tools that make software more reliable, currently leading research at Diligence Security in Vienna. He holds a Ph.D. from ETH Zürich and has combined academic rigor with industry impact through roles at Consensys, Microsoft, and Google. Valentin's work spans program verification, smart-contract security, and developer tooling—he authored the Harvey fuzzer (acquired by ConsenSys) and has contributed to high-profile projects like Boogie, Dafny, CodeContracts, and go-ethereum. Known for deep backend engineering, he improves correctness and performance in verifiers and interpreters, from caching verification results to fixing subtle VM bugs. Colleagues rely on him to turn formal methods into practical, production-ready analysis tools that catch real-world bugs.
20 years of coding experience
16 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at ETH Zürich
Github Skills (36)
debugging10
debug10
assembly10
net10
evm10
solver10
dotnet10
analyse10
boogie10
virtual-machine10
asp-net10
sat-solver10
code-analysis10
latex10
go10
Programming languages (16)
Github contributions (5)
microsoft/CodeContracts
Feb 2015 - Jun 2016
Source code for the CodeContracts tools for .NET
Role in this project:
Back-end Developer
Back-end DeveloperContributions:84 commits, 8 PRs, 4 pushes in 1 year 4 months
Contributions summary:Valentin contributed to fixing build errors and warnings within the .NET CodeContracts tools. Their work involved modifications to C# code files, including the System.Diagnostics.Process.cs file and CloudotHost.csproj, indicating debugging and build process improvements. Additionally, they implemented overflow checks within modulo operations, enhancing the robustness of the code.
dotnetcsharp
dafny-lang/dafny
Jul 2010 - Apr 2016
Dafny is a verification-aware programming language
Role in this project:Back-end Developer
Back-end DeveloperContributions:212 commits in 5 years 10 months
Contributions summary:Valentin made several contributions related to the LaTeX listings packages for Boogie and Dafny, making minor changes to the formatting and adding support for various symbols. They also refactored code and updated files generated by Coco/R, indicating involvement in the parsing and compilation process. Furthermore, the user updated the Dafny printer to fix a bug and also added support for attributes on methods and constructors.
compilerdafnyprogramming-languageverification
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.