28,495
reputation
6
63
97

Guido
Loading…

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.

425
answers
7
questions
~1.5m
people reached
  • Australia
  • Member for 9 years
  • 2,644 profile views
  • Last seen 10 hours ago

Top tags (178)

Score 955
Posts 187
Posts % 43
Score 897
Posts 112
Score 653
Posts 91
Score 178
Posts 28
Score 158
Posts 27
Score 149
Posts 31

Top posts (432)

View all questions and answers

Badges (166)

Gold

6

Rarest

Silver

63

Rarest

Bronze

97

Rarest