wintered Goto Github PK
Name: Dominik Winterer
Type: User
Company: ETH Zurich
Bio: Ph.D. student in the AST lab at ETH Zurich. I'm researching techniques on testing SMT solvers and making them more reliable.
Twitter: DominikWinterer
Location: Zurich