Dominik Winterer

Dr. Dominik Winterer is a Researcher at the Professorship for Computer Science at ETH Zürich. His work focuses on formal methods, automated reasoning, and programming languages, with a particular emphasis on SMT (Satisfiability Modulo Theories) solvers and planning algorithms. He has contributed to advancing the validation and correctness of SMT solvers through techniques like grammar-based enumeration and type-aware mutation testing. His research also explores oversubscription planning, top-k planning, and nondeterministic planning, addressing challenges in resource allocation and state space reduction. Winterer’s publications span topics from compiler optimization metrics to constraint-solving methodologies, reflecting his interdisciplinary approach to computational problem-solving.