user avatar
user avatar
user avatar
Guido
  • Member for 9 years, 10 months
  • Last seen this week
Stats
29,345
reputation
1.6m
reached
426
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
64
silver badges
100
bronze badges
976
Score
188
Posts
43
Posts %
946
Score
112
Posts
26
Posts %
695
Score
92
Posts
21
Posts %
184
Score
28
Posts
6
Posts %
161
Score
27
Posts
6
Posts %
154
Score
31
Posts
7
Posts %
Top posts
View all questions and answers
Top Meta posts
1
2