Theoretical Computer Science
Meta user
Network profile
1,602
reputation
8
25

Geoffrey Irving

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

19
answers
28
questions
~13k
people reached
  • naml.us
  • Member for 6 years, 5 months
  • 235 profile views
  • Last seen 6 hours ago

Communities (25)

Top network posts

Top tags (66)

Score 21
Posts 5
Posts % 11
Score 5
Posts 3
Score 5
Posts 3
Score 5
Posts 3
Score 4
Posts 3
Score 4
Posts 3
View all tags →

Top posts (47) All Questions Answers | Votes Newest

29 Has a proof checker bug ever invalidated a major proof? Jan 13 '17
15 Natural theorems proven only “to high probability”? Mar 6 '14
15 Separating words with random DFAs May 12 '14
15 Should reductions make us more or less optimistic for the tractability of a problem? Mar 31 '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 (33)

Gold

—

Silver

8

Rarest

Bronze

25

Rarest

View all badges →