User Mark Reitblatt - Theoretical Computer Science Meta Stack Exchange

Mark Reitblatt

Member for 13 years, 1 month
Last seen more than 9 years ago

cs.cornell.edu/~reitblatt
Ithaca, NY

Stats

1,680

reputation

0

reached

0

answers

0

questions

Loading…

Communities

About

CS PhD Student at Cornell.

Badges

View all badges

This user doesn’t have any gold badges yet.

8

silver badges

Yearling

× 8

Nov 13, 2019

3

bronze badges

Critic

Jan 28, 2011
Supporter

Nov 29, 2010
Autobiographer

Nov 10, 2010

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?