10,654 reputation
bio website governatori.net
location Australia
age 46
visits member for 1 year, 8 months
seen 1 hour ago

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.

Nov 23 '13 at 16:24