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

Noam Zeilberger

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

26
answers
7
questions
~32k
people reached
  • Paris, France
  • noamz.org
  • Member for 10 years, 8 months
  • 743 profile views
  • Last seen Apr 19 at 18:17

Communities (5)

Top network posts

Top tags (51)

Score 178
Posts 10
Posts % 30
Score 157
Posts 9
Score 101
Posts 4
Score 59
Posts 5
Score 46
Posts 8
Score 39
Posts 3
View all tags →

Top posts (33)

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
12 What is the difference between unification and anti-unification? Mar 16 '16
View all questions and answers →

Badges (51)

Gold

—

Silver

20

Rarest

Bronze

31

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.