36,761
reputation
4
33
76

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.

1,137
answers
20
questions
~504k
people reached

Top tags (383)

Score 667
Posts 315
Posts % 27
Score 235
Posts 117
Score 226
Posts 103
Score 159
Posts 66
Score 150
Posts 70
Score 147
Posts 71

Top posts (1,157)

View all questions and answers

Badges (113)

Gold

4

Rarest

Silver

33

Rarest

Bronze

76

Rarest