My research interests lie in the fields of Proof Theory, Formal Language Theory, and Automated Deduction. For a list of my publications, have a look at my dblp-page.