Dominik Winterer (@dominikwinterer) 's Twitter Profile
Dominik Winterer

@dominikwinterer

PostDoc @ETH Zurich | Making Formal Methods better and more practical

ID: 1010622788191825920

linkhttps://wintered.github.io/ calendar_today23-06-2018 20:37:03

703 Tweet

1,1K Followers

665 Following