2,276 reputation
527
bio website math.cmu.edu/~jrute
location State College, PA
age 33
visits member for 4 years
seen 2 days ago

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.


186 Votes Cast

all time   by type  
177 up 81 question
9 down 105 answer