Skip to main content

Dominik Wagner

Personal photo - Dominik Wagner

Dominik Wagner

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD


I am broadly interested in logic in computer science, in particular the (semantical) foundations of probabilistic programming, verification of higher-order functional programs and automated reasoning.


In 2018, I received an MSc in Mathematics and Foundations of Computer Science (with distinction) from the University of Oxford. Before that, I completed my Bachelor's degree in Computer Science at Saarland University. At the Max Planck Institute for Informatics, I was part of Christoph Weidenbach's group developing a SAT solver and the award-winning SMT solver SPASS-SATT. Originally, I am from a small town near Mainz, Germany. You can find my detailed cv here.

Selected Publications

View AllManage publications