Theoretical Computer Science
Meta user
Network profile
3,500
reputation
18
30

Noam Zeilberger

Apparently, this user prefers to keep an air of mystery about them.

22
answers
7
questions
~27k
people reached
  • Paris, France
  • noamz.org
  • Member for 8 years, 10 months
  • 672 profile views
  • Last seen Jun 5 at 8:36

Communities (5)

Top network posts

Top tags (47)

Score 172
Posts 10
Posts % 34
Score 141
Posts 7
Score 97
Posts 4
Score 57
Posts 5
Score 40
Posts 7
Score 38
Posts 3
View all tags →

Top posts (29) All Questions Answers | Votes Newest

78 Solid applications of category theory in TCS? Sep 4 '10
25 What are the practical issues with intersection and union types? Jan 11 '14
21 Discharged hypotheses in ->Introduction Feb 1 '11
18 Implicit vs explicit subtyping Dec 28 '10
18 What do we know about provably correct programs? Jan 2 '11
15 How are real numbers specified in computation? Oct 10 '10
14 Why do we need formal semantics for predicate logic? Sep 20 '10
13 (N)DFA with same initial/accepting state(s) Jul 5 '13
12 historical question: earliest description of beta-normal terms together with “neutral” terms in lambda calculus? Nov 11 '15
11 generalizing Ben-Or et al's two-prover bit commitment scheme beyond bits Aug 1 '12
View all questions and answers →

Badges (48)

Gold

—

Silver

18

Rarest

Bronze

30

Rarest

View all badges →