Länkstig

Dominik Wehr

Doktorand

Avdelningen för lingvistik, logik och
vetenskapsteori
Besöksadress
Renströmsgatan 6
41255 Göteborg
Rumsnummer
C571
Postadress
Box 200
40530 Göteborg

Om Dominik Wehr

I am a PhD student at the Logic Group at Gothenburg University supervised by Graham Leigh and Bahareh Afshari. My research lies in the area of cyclic proof theory with specific interest in the soundness conditions of cyclic derivation systems. More generally, I am interested in the exploration of reasonably strong foundational systems (i.e. at least an arithmetic) by means of proof theory and the methods of (constructive) reverse mathematics. I am also very fond of constructive type theory and non-economic game theory.