Mr Dominik Wagner
Dominik is a DPhil student in Computer Science and a Graduate Teaching and Research Scholar.
He holds an MSc in Mathematics and Foundations of Computer Science from Oxford. Prior to coming to Oxford, he completed his undergraduate degree at Saarland University in Germany.
Dominik is broadly interested in the theory of programming languages and logic. His current research is mainly concerned with the foundations of probabilistic programming, an emergent field combining ideas from programming language theory, statistics and (Bayesian) machine learning.
He is especially excited about applying techniques from programming language theory to underpin inference algorithms with mathematical rigour. Constructs which are completely standard in “regular” programming languages such as branching and unbounded recursion pose major challenges for the design of fast, yet correct inference algorithms.