Dominik Winterer

alt text 

Ph.D. Student
Departement of Computer Science
ETH Zurich, Switzerland

Office: CNB H 103.2
Email: \(\texttt{}\)

I'm a Ph.D. student advised by Prof. Zhendong Su at ETH Zurich and a member of the AST lab. I'm interested in formal methods problems in Programming Languages and Software Engineering. Before, I did research in AI Planning (a branch of symbolic AI).

Currently, I'm developing tools for stress-testing SMT solvers in the Yin-Yang project.
Check out @testsmt for our most recent bug findings in Z3 and CVC4!


May 13, 2020          Our paper on Semantic Fusion won a distinguished paper award at PLDI ’20!
May 12, 2020          I'll be a student volunteer at PLDI ’20


[Publications in AI Planning]


Teaching Assistant at ETH Zurich

Teaching Assistant at University of Konstanz

Student Teaching Assistant at University of Freiburg

(Co-)supervised Theses