Mark Reitblatt

less info

network profile

1,297 reputation

817

bio	website	cs.cornell.edu/~reitblatt
	location	Ithaca, NY
	age	26
visits	member for	2 years, 10 months
	seen	Jun 7 at 14:22
stats	profile views	291

CS PhD Student at Cornell.

summary answers questions tags badges favorites bounties reputation activity

13 Answers

votes activity newest

27	Applications of topology to computer science
18	Powerful Algorithms too complex to implement
11	What happens if we try to extract a witness but it actually does not exist from a term of existential type?
10	Curriculum: Logical/Formal Methods in Security
8	“Natural” decidable problems known not to be in NP.

view more

1,297 Reputation

This user has no recent positive reputation changes

view more

2 Questions

votes activity newest

16	Where is the proof that Coq + Excluded Middle is consistent
10	Uniform hierarchy of problems that span complexity and computational hierarchies

26 Tags

45 lo.logic × 7	18 proof-theory × 2
27 reference-request × 2	18 teaching × 2
27 survey	15 cc.complexity-theory × 3
27 topology	11 type-theory
27 ho.history-overview	10 computability × 3

view more

6 Accounts

	Theoretical Computer Science	1,297 rep	817
$Mathematics Stack Exchange$	Mathematics	223 rep	23
	Area 51	151 rep	2
	Meta Stack Overflow	101 rep	1
	Ask Different	101 rep	2

20 Badges

recent class name

Necromancer	Nice Answer × 4
Good Answer	Pundit
Yearling × 2	Enlightened
Constituent	Scholar
Caucus	Nice Question × 2

view more

0 Active bounties

active offered earned

This user has no active bounties

171 Votes Cast

all time			by type
144	up		46	question
27	down		125	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Christianity Arqade (gaming) Bicycles Role-playing Games more (21)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.6.19.752

Theoretical Computer Science Stack Exchange works best with JavaScript enabled