SPLASH 2022 (series) / Benno Stein
![Benno Stein](https://2022.splashcon.org/getProfileImage/bennostein/25e39ce8-12fe-40e0-8d04-24d5b426e3f0/small.jpg?1718699797000)
Registered user since Thu 15 Aug 2019
Name:Benno Stein
Country:United Kingdom
Affiliation:Meta; University of Colorado Boulder
Personal website: https://www.bennostein.org/
X (Twitter): https://x.com/benno_stein
GitHub: https://github.com/bennostein
Research interests:Static Analysis; Abstract Interpretation
Contributions
SPLASH 2022-profile
View general profile
View general profile