SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Valentin Wüstholz

Registered user since Thu 31 Jan 2019

Name: Valentin Wüstholz

Bio: 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.

Country: Germany

Affiliation: ConsenSys

Personal website: http://www.wuestholz.com/

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

Contributions

SPLASH 2020Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA Artifacts-track
Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA-track
Show activities from other conferences

Using general profile