Area 51
user avatar
user avatar
user avatar
Mark Reitblatt
  • Member for 11 years, 10 months
  • Last seen more than 11 years ago
Profile Activity
Stats
151
reputation
0
reached
0
answers
0
questions
Communities
View all
About

CS PhD Student at Cornell.

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
4
bronze badges
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
33
Applications of topology to computer science
30
Powerful Algorithms too complex to implement
23
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?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.