I am a mathematician and computer scientist currently working as a proof theorist in the department of mathematical logic at the University of Würzburg led by Prof. Dr. Anton Freund. You can also find me on the site of the department, arXiv, or ORCID.

In proof theory / logic, I am mostly interested in reverse mathematics and well order principles involving recursion, dilators, and maximal order types. I also like functional interpretations and their interplay with linear logic. I have also done some Weihrauch reducibility.

In computer science, I am interested in proof assistants, program reduction and weak memory models.


Email: patrick dot uftring at uni-wuerzburg dot de
(also on the site of our department)

Education and Degrees

Work

Preprints

Published

Conferences and Talks