Skip to main content
OverflowAI is here! AI power for your Stack Overflow for Teams knowledge community. Learn more
Guido's user avatar
Guido's user avatar
Guido's user avatar
Guido
  • Member for 11 years, 10 months
  • Last seen more than a month ago
Stats
30,810
reputation
1.9m
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
71
silver badges
105
bronze badges
1,019
Score
188
Posts
43
Posts %
1,008
Score
112
Posts
26
Posts %
746
Score
93
Posts
21
Posts %
193
Score
28
Posts
6
Posts %
173
Score
31
Posts
7
Posts %
166
Score
27
Posts
6
Posts %
Top posts
View all questions and answers
Top Meta posts
1
2