Noam Zeilberger

less info

network profile

1,570 reputation

714

bio	website	software.imdea.org/…
	location	Madrid, Spain
	age
visits	member for	2 years, 8 months
	seen	Apr 28 at 6:48
stats	profile views	336

summary answers questions tags badges favorites bounties reputation activity

10 Answers

votes activity newest

52	Solid applications of category theory in TCS?
19	Discharged hypotheses in ->Introduction
15	What do we know about provably correct programs?
14	Implicit vs explicit subtyping
12	How are real numbers specified in computation?

view more

1,570 Reputation

+20	Solid applications of category theory in TCS?
+10	Cut-elimination for calculus with nats or other inductive datatype?
+10	What do we know about provably correct programs?
+5	generalizing Ben-Or et al's two-prover bit commitment scheme beyond bits

view more

1 Question

votes activity newest

10	generalizing Ben-Or et al's two-prover bit commitment scheme beyond bits

20 Tags

108 lo.logic × 7	20 type-theory × 2
94 pl.programming-languages × 5	19 natural-deduction
58 ct.category-theory × 2	15 complexity-classes
28 reference-request × 3	12 computing-over-reals
27 computability × 2	12 computable-analysis

view more

1 Account

Theoretical Computer Science

1,570 rep

714

14 Badges

recent class name

Yearling × 2	Guru
Nice Question	Commentator
Student	Nice Answer × 6
Constituent	Enlightened × 2
Caucus	Good Answer

view more

0 Active bounties

active offered earned

This user has no active bounties

113 Votes Cast

all time			by type
110	up		28	question
3	down		85	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 Arqade (gaming) Bicycles Role-playing Games more (22)	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.5.20.691

Theoretical Computer Science Stack Exchange works best with JavaScript enabled