I am a doctoral student in the Logic and Language Theory group at the University of Tübingen. I am currently interested in and working on the theme of proof-theoretic semantics, particularly the identity of proofs.
This profile currently does not have any publications associated with it.