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 realworld system design.
4
answers
10
questions
~6k
people reached

Reading, UK

Member for 10 years, 7 months

376 profile views

Last seen 22 hours ago
Communities (7)
Top network posts
Badges (14)
Gold
—
Silver
3
Rarest
Bronze
11
Rarest

Oct 26 '17

Jul 2 '14

May 24 '19