User Mark Reitblatt - Ask Different

Mark Reitblatt

Member for 12 years, 10 months
Last seen more than 9 years ago

cs.cornell.edu/~reitblatt
Ithaca, NY

Network profile

Stats

101

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.

2

bronze badges

Supporter

Feb 11, 2011
Autobiographer

Feb 11, 2011

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

35

Applications of topology to computer science

31

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?