Dominik Winterer

alt text 

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

Office: CNB H 103.2
Email: \(\texttt{dominik.winterer@inf.ethz.ch}\)

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!

News

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

[Publications in AI Planning]

Teaching

Teaching Assistant at ETH Zurich

Teaching Assistant at University of Konstanz

Student Teaching Assistant at University of Freiburg

(Co-)supervised Theses

Services