86 reputation
2
bio website nd.edu/~sflood
location University of Notre Dame, IN
age
visits member for 2 years, 10 months
seen Oct 4 '11 at 20:16

I am a graduate student in mathematics at the University of Notre Dame. My research is in the area of computability theory and reverse mathematics.


Sep
28
awarded  Editor
Sep
28
revised Is it possible to formalize the relationship between different proofs of the same theorem?
added 64 characters in body
Sep
28
awarded  Teacher
Sep
28
answered Is it possible to formalize the relationship between different proofs of the same theorem?