2,361 reputation
bio website personal.psu.edu/jmr71
location State College, PA
age 34
visits member for 4 years, 5 months
seen Jul 27 at 14:04

I am in the math department at Penn State. My main interests are Computability Theory and Proof Theory. More specifically, I am interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.