Research output per year
Research output per year
Mr
I am a PhD student in the Mathematical Foundations of Computation group, doing research in proof theory. My supervisor is Willem Heijltjes.
You can find my personal web page here.
Mathematics, Master of Mathematics, University of Oxford
Oct 2016 → Jun 2020
Award Date: 20 Jun 2020
Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding