I am a student in the Group in Logic at UC Berkeley. My research is in mathematical logic and the foundations of mathematics.
On the inevitability of the consistency operator, with Antonio Montalbán. [arXiv]