Dominik Winterer

alt text 

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

Office: CNB H 103.2

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 my Ph.D. studies, I did research in Automated Planning (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!


Jul 31, 2020            Our paper on Type-aware Operator mutation was conditionally accepted at OOPSLA!
May 13, 2020          Our paper on Semantic Fusion won a distinguished paper award at PLDI 2020!
May 12, 2020          I'll be a student volunteer at PLDI 2020


[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