Theoretical Computer Science
Profile Activity
Meta user
Network profile
3,064
reputation
12
27

Geoffrey Irving

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

20
answers
36
questions
~17k
people reached
  • naml.us
  • Member for 8 years, 7 months
  • 358 profile views
  • Last seen 10 hours ago

Communities (28)

Top network posts

Top tags (72)

Score 22
Posts 5
Posts % 9
Score 5
Posts 3
Score 5
Posts 3
Score 5
Posts 3
Score 2
Posts 4
Score 1
Posts 6
View all tags →

Top posts (56)

All Questions Answers
Votes Newest
29 Has a proof checker bug ever invalidated a major proof? Jan 13 '17
17 Separating words with random DFAs May 12 '14
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
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
10 Does MIP* = RE algebrize? Mar 7 '20
9 Formalizing the “no formula for primes” intuition May 23 '20
View all questions and answers →

Badges (39)

Gold

—

Silver

12

Rarest

Bronze

27

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.