Guido
191
reputation
6
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.