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
Using general profile