I am a student in the Group in Logic at UC Berkeley. My research is in mathematical logic and the foundations of mathematics.
Epistemic aspects of consistency proofs, under review
Reflection ranks and ordinal analysis, with Fedor Pakhomov, under review
[arXiv]
On the inevitability of the consistency operator, with Antonio Montalbán, under review
[arXiv]