Valentin is a principal researcher at Consensys Diligence and has held positions both in academia (at ETH Zürich and UT Austin) and in industry (at Microsoft and Google). He is passionate about developing tools and techniques that allow us to produce more reliable and correct software. A great example of such a tool is the Harvey fuzzer for Ethereum smart contracts. Harvey was acquired by Consensys in 2018, was integrated into the MythX smart contract analysis service, and powers the Diligence fuzzing service. Harvey is also regularly used in audits and client engagements.
In 2015, he received a Ph.D. from ETH Zürich (advisor: Prof. Dr. Peter Müller) for developing a practical program-analysis technique that incorporates both static and dynamic analysis by exchanging partial verification results. After completing his Ph.D., he was a postdoctoral researcher at the University of Texas at Austin in the group of Prof. Dr. Işil Dillig, a visiting researcher at Microsoft (Redmond, WA), and a postdoctoral researcher at ETH Zürich in the group of Prof. Dr. Peter Müller.
As a graduate and undergraduate student, he interned at both Microsoft Research (Redmond, WA), where he worked with Dr. Rustan Leino, and Google (Santa Monica, CA). He received a Master's degree (2009) and a Bachelor's degree (2008) in Computer Science from ETH Zürich.
Over the past few years, he has been striving to make program-analysis techniques more accessible in practice. On the one hand, he has published papers at top venues in the area of software engineering, formal methods, and artificial intelligence (see DBLP and Google Scholar for more details), three of which received best paper awards (at FM 2011, ICSE 2016, and TACAS 2017). On the other hand, he has been a lead developer for several program-analysis tools and has been contributing to various other program-analysis tools, such as Boogie, Clousot, Dafny, and Spec#.
In addition, he has been active in the research community by, among others, mentoring students and interns, being a teaching assistant for more than a dozen courses, and reviewing papers for top conferences, such as ICSE, PLDI, and CAV.