I am a PhD student at the University of Oxford in Computer Science working with Luke Ong. I am also a Graduate Teaching and Research Scholar at Oriel College, Oxford.
I am broadly interested in the theory of programming languages and logic. My 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.
I am 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.
Originally, I am from a small town near Mainz, Germany.
PhD in Computer Science, ongoing
University of Oxford
MSc in Mathematics and Foundations of Computer Science, 2018
University of Oxford
BSc in Computer Science, 2017
Saarland University
Recent & Upcoming