I am PhD students in mathematics at the University of Pennsylvania interested in mathematical logic. Right now, I'm leaning towards working in some area of proof theory.