jinpa
38
reputation
7
I've been retired from teaching since 2012, but still like to dabble in research around interactions between topology and mathematical logic.