I am a machine learning/artificial intelligence professional with a strong background in theoretical computer science and mathematical logic.

Below you can find information on my research. My primary research interest are proof theory, computability theory, and formal methods.

Until July 2016 I was a research fellow in the mathematics department of National University of Singapore working together with Chi Tat Chong, Frank Stephan, and Yang Yue.

Prior to that I was a postdoc in the Plume team at Laboratoire de l'Informatique du Parallélisme, École normale supérieure de Lyon under Colin Riba and Alexandre Miquel.

I received my PhD in April 2012 from the Mathematics Department of Technische Universität Darmstadt under the supervision of Prof. Ulrich Kohlenbach.