Dominik Winterer

icon indicating a website link https://wintered.github.io/ icon indicating an email [email protected]

icon company ETH Zurich icon location Zurich icon location Ph.D. student in the AST lab at ETH Zurich. I'm researching techniques on testing SMT solvers and making them more reliable.

Results 0 repositories owned by Dominik Winterer