User Mark Reitblatt - Area 51 Discussions

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Now available on Stack Overflow for Teams! AI features where you work: search, IDE, and chat.
Learn more Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Mark Reitblatt

Member for 14 years, 2 months
Last seen more than 13 years ago

cs.cornell.edu/~reitblatt
Cornell University

Stats

151

reputation

0

reached

0

answers

0

questions

Communities

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

Commentator

Feb 11, 2011
Critic

Feb 10, 2011
Supporter

Feb 10, 2011

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

36

Applications of topology to computer science

32

Powerful Algorithms too complex to implement

24

Where is the proof that Coq + Excluded Middle is consistent

13

Are there any counterintuitive results in theoretical computer science?

12

What happens if we try to extract a witness but it actually does not exist from a term of existential type?