Mark Reitblatt
CS PhD Student at Cornell.
-
Ithaca, NY
-
Member for 10 years, 6 months
-
22 profile views
-
Last seen Dec 23 '13 at 19:03
Communities (7)
Top network posts
- 33 Applications of topology to computer science
- 30 Powerful Algorithms too complex to implement
- 22 Where is the proof that Coq + Excluded Middle is consistent
- 12 What happens if we try to extract a witness but it actually does not exist from a term of existential type?
- 12 Are there any counterintuitive results in theoretical computer science?
- 11 "Natural" decidable problems known not to be in NP.
- 10 Uniform hierarchy of problems that span complexity and computational hierarchies
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.
Badges (11)
Gold
—
Silver
8
Rarest
Bronze
3
Rarest
-
Jan 28 '11
-
Nov 29 '10
-
Nov 10 '10