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 Takipçi

665 Takip Edilen

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

10 months ago

If you are attending OOPSLA '24, come to my talk tomorrow at 3:10 pm in the "Program Synthesis and Verification 2" session. 2024.splashcon.org/track/splash-2… #SPLASH2024