Registered user since Thu 31 Jan 2019
Valentin is a software security 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.
|SPLASH 2022||Compositional Verification of Smart Contracts Through Communication Abstraction|
|Show activities from other conferences|