SPLASH 2024 (series) / Dominik Winterer
Registered user since Wed 18 Dec 2019
Name:Dominik Winterer
Country:Switzerland
Affiliation:ETH Zurich
Personal website: https://wintered.github.io
X (Twitter): https://x.com/DominikWinterer
Research interests:Programming Languages, Software Engineering, Formal Methods
Contributions
SPLASH 2024-profile
View general profile
View general profile