SAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Valentin Wüstholz

Registered user since Thu 31 Jan 2019

Name:Valentin Wüstholz

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.

Personal website:
Research interests:program analysis, formal methods, software security, software engineering


SAS 2021 Compositional Verification of Smart Contracts Through Communication Abstraction
Show activities from other conferences

SPLASH 2021-profile
View general profile