Theoretical Computer Science
Meta user
Network profile
2,674
reputation
9
25

Geoffrey Irving

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

19
answers
30
questions
~14k
people reached
  • naml.us
  • Member for 7 years, 1 month
  • 255 profile views
  • Last seen 2 days ago

Communities (27)

Top network posts

Top tags (68)

Score 22
Posts 5
Posts % 10
Score 5
Posts 3
Score 5
Posts 3
Score 5
Posts 3
Score 5
Posts 3
Score 4
Posts 3
View all tags →

Top posts (49) All Questions Answers | Votes Newest

29 Has a proof checker bug ever invalidated a major proof? Jan 13 '17
16 Should reductions make us more or less optimistic for the tractability of a problem? Mar 31 '14
15 Natural theorems proven only “to high probability”? Mar 6 '14
15 Separating words with random DFAs May 12 '14
14 Probability that a random sorting network works Feb 28 '18
13 Gap between $BB(n)$ and “second largest” $BB(n)$ Apr 30 '17
11 Minimum communication cost for zero knowledge proofs of three colorability Jan 19 '15
10 Is deterministic pseudorandomness possibly stronger than randomness in parallel? Jan 7 '13
8 Complexity of checking if AB intersects C Mar 27 '13
8 Smoothly leaking information over time Sep 25 '13
View all questions and answers →

Badges (34)

Gold

—

Silver

9

Rarest

Bronze

25

Rarest

View all badges →