Home

Contact

Research

Teaching


My research interests lie at the interface between computer science and logic, in particular proof theory. More specifically:


Professional Service:


Research projects I am currently involved in:

Research projects I was involved in:


List of Publications

Most of the papers available from this document appear in print, and the corresponding copyright is held by the publisher.
While the papers can be used for personal use, redistribution or reprinting for commercial purposes is prohibited.

Journals

Conference Proceedings

Preprints

Thesis