José Goudet Alvim
Greetings, this is the homepage of my personal website ─ currently hosted by Rede GNU Linux IME USP.
I am a Brazilian PhD student studying Pure Mathematics at IME USP, you can read about my previous and current academic works in the Work section. I am also a system admin of Rede GNU Linux, one of IME's computer networks, and a hobbyist game developer.
My academic focus is largely in the area of category theory, specifically sheaf-like objects and topos-like structures ─ monoidal categories, quantales and their potential applications to non-mathematical subjects. Besides that, I'm interested in computer science in general and the free software movement as a whole.
MAT6682 ─ Tópicos de Análise Funcional.
Prof. Severino Toscano do Rego Melo;
MAT5704 ─ Teoria dos Modelos em Lógica Contínua
Prof. Ricardo Bianconi;
MAT6705 ─ Tópicos de Lógica Categorial.
Prof. Hugo Luiz Marino;
MAT5739 ─ Teoria dos Conjuntos de Aplicações.
Profa. Christina Brech,
Prof. Giorgio Venturi;