27,277
reputation
6
58
94

I have been using LaTeX since 1993. I am a research leader at NICTA

If you are interested in logic or logical reasoning please consider supporting the logic proposal here on stackexchange.

416
answers
7
questions
~1.3m
people reached
  • Australia
  • Member for 8 years, 3 months
  • 2,543 profile views
  • Last seen 50 mins ago

Top tags (174)

Score 924
Posts 182
Posts % 43
Score 839
Posts 110
Score 611
Posts 85
Score 167
Posts 28
Score 153
Posts 27
Score 139
Posts 29

Top posts (423)

View all questions and answers

Badges (158)

Gold

6

Rarest

Silver

58

Rarest

Bronze

94

Rarest