I am a mathematician currently affiliated with the Department of Philosophy II of RUB Bochum.

My research is in higher-order Reverse Mathematics and Computability Theory, working closely with Dag Normann (University of Oslo).

The following paper provides a good example of our research:

https://arxiv.org/abs/2007.07560