I am a Research Fellow at NTU Singapore working with Luke Ong.
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.
DPhil (PhD) in Computer Science, 2024
University of Oxford
MSc in Mathematics and Foundations of Computer Science, 2018
University of Oxford
BSc in Computer Science, 2017
Saarland University
26/09/2024: Our paper Reinforcement Learning with LTL and ω-Regular Objectives via Optimality-Preserving Translation to Average Rewards has been accepted at NeurIPS24.
Recent & Upcoming