The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Theoretical Computer Science
Meta user
Network profile
3,570
reputation
19
31

Noam Zeilberger

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

23
answers
7
questions
~28k
people reached
  • Paris, France
  • noamz.org
  • Member for 9 years, 1 month
  • 686 profile views
  • Last seen Sep 17 at 16:45

Communities (5)

Top network posts

Top tags (49)

Score 173
Posts 10
Posts % 33
Score 143
Posts 7
Score 98
Posts 4
Score 59
Posts 5
Score 40
Posts 7
Score 39
Posts 3
View all tags →

Top posts (30) All Questions Answers | Votes Newest

79 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 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 (50)

Gold

—

Silver

19

Rarest

Bronze

31

Rarest

View all badges →