conf.researchr.org / Dominik Winterer
![Dominik Winterer](https://conf.researchr.org/getProfileImage/dominikwinterer/f89f4b13-8156-4541-b618-d5128446e27f/small.jpg?1711570561000)
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