Theoretical Computer Science
Mark Reitblatt
  • Member for 11 years, 5 months
  • Last seen more than 8 years ago
Profile Activity
Stats
1,660
reputation
0
reached
0
answers
0
questions
Communities
View all
About

CS PhD Student at Cornell.

Badges
View all badges
This user doesn’t have any gold badges yet.
8
silver badges
3
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.