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.
HoCHC: A Refutationally Complete and Semantically Invariant System of Higher−order Logic Modulo Theories
C.−H. Luke Ong and Dominik Wagner
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). 2019 (to appear).
Resolution for Higher−Order Constrained Horn Clauses
Master's Thesis University of Oxford. 2018.