Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
24,877
reputation
5
52
90

Guido

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.

396
answers
7
questions
~1.1m
people reached
  • Australia
  • Member for 6 years, 10 months
  • 2,265 profile views
  • Last seen 7 hours ago

Top tags (168)

Score 875
Posts 173
Posts % 43
Score 734
Posts 108
Score 533
Posts 81
Score 159
Posts 28
Score 143
Posts 27
Score 118
Posts 26

Top posts (403) All Questions Answers | Votes Newest

View all questions and answers

Badges (147)

Gold

5

Rarest

Silver

52

Rarest

Bronze

90

Rarest