34,090
reputation
9
22

Rob Arthan

Erstwhile algebraic topologist, who took to earning a crust in computer programming many years ago. Came back into mathematics (or at least mathematical logic) via much work on mechanized reasoning after many more years. Still divides his time between mathematics, computational logic and real-world system design.

5
answers
19
questions
~9k
people reached

Top tags (23)

Score 17
Posts 19
Posts % 79
Score 1
Posts 2
Score 0
Posts 6
Score 0
Posts 4
Score 0
Posts 2
Score 0
Posts 2

Top posts (24)

View all questions and answers

Badges (31)

Gold

Silver

9

Rarest

Bronze

22

Rarest