I am a postdoc at the group for mathematical logic at Würzburg university. My current research combines cyclic proof theory, ordinal analysis and reverse mathematics. I am also very fond of constructive type theory and the connections between game theory and logic.

Before this, I completed my PhD at the Logic group at the University of Gothenburg under the supervision of Gramah E. Leigh and Bahareh Afshari. Going back even further, I obtained a Master’s degree in Logic at the Institute for Logic, Language and Computation of the University of Amsterdam and a Bachelor’s degree in Computer Science from Saarland University.

Outside of academic pursuits, I am an avid athlete. As it stands, I mainly run and climb. I also enjoy cycling, hiking and swimming.

Contact

If you want to contact me you can do so via email. I am also on the fediverse at @dw@mathstodon.xyz.