Theoretical Computer Science
Profile Activity
Meta user
Network profile
4,073
reputation
20
31

Noam Zeilberger

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

25
answers
7
questions
~31k
people reached
  • Paris, France
  • noamz.org
  • Member for 10 years, 2 months
  • 723 profile views
  • Last seen 6 hours ago

Communities (5)

Top network posts

Top tags (50)

Score 177
Posts 10
Posts % 31
Score 151
Posts 8
Score 101
Posts 4
Score 59
Posts 5
Score 40
Posts 7
Score 39
Posts 3
View all tags →

Top posts (32)

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

Badges (51)

Gold

—

Silver

20

Rarest

Bronze

31

Rarest

View all badges →