I am a Brazilian pure mathematics PhD student at IME USP. Currently 27 years old. I am also an ex-sysadmin at Rede GNU-Linux — the network on which this website is hosted — and a hobbyist programmer and C++ enthusiast.
I am mostly interested in logic, category theory, its aplications, and the foundations of mathematics. I’m also interested in programming and computer science in general.
I like japanese fusion, jazz, metal, folkier stuff, classical – mainly Bach, but the romantics and impressionists are nice too. I also have a small (but growing) vinyl collection.
Can’t really say I’m a very prolific reader of literature, generally speaking. I enjoy reading about history, philosophy, religions and esoterism, that sort of stuff.