13,486 reputation
12666
bio website
location
age
visits member for 2 years, 1 month
seen Feb 17 at 10:08

Computational Logic researcher and LaTeX lover.