meta user
network profile
| bio | website | math.cmu.edu/~jrute |
|---|---|---|
| location | Pittsburgh, PA | |
| age | 31 | |
| visits | member for | 9 months |
| seen | May 20 at 23:07 | |
| stats | profile views | 5 |
I'm a graduate student in logic at Carnegie Mellon. My main interests are Proof Theory and Computability Theory. More specifically, I am interested in the relationship between computability and analysis, including computable analysis, algorithmic randomness, reverse mathematics, and finitary/metastable results.
This user has no recent positive reputation changes
|
Mathematics | 63 rep | 5 |
|
TeX - LaTeX | 43 rep | 6 |
This user has no active bounties
3 Votes Cast
| all time | by type | ||||
|---|---|---|---|---|---|
| 3 | up | 0 | question | ||
| 0 | down | 3 | answer | ||
