Skip to main content

Dominik Wagner

Personal photo - Dominik Wagner

Dominik Wagner

Doctoral Student

Wolfson Building, Parks Road, Oxford OX1 3QD

Biography

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. 

Selected Publications

View AllManage publications

Supervisors