Guido's user avatar
Guido's user avatar
Guido's user avatar
Guido
  • Member for 10 years, 8 months
  • Last seen this week
Stats
30,195
reputation
1.8m
reached
428
answers
7
questions
Loading…
About

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.

6
gold badges
68
silver badges
102
bronze badges
995
Score
188
Posts
43
Posts %
985
Score
112
Posts
26
Posts %
720
Score
93
Posts
21
Posts %
190
Score
28
Posts
6
Posts %
165
Score
31
Posts
7
Posts %
164
Score
27
Posts
6
Posts %
Top posts
View all questions and answers
Top Meta posts
1
2