I am a PhD student in Logic and the Methodology of Science at UC Berkeley. My primary interests are in mathematical logic and the foundations of mathematics.