master's at Matemática from Ludwig-Maximiliains-Universitaet Muenchen (1993) and ph.d. at Mathematics from Universidade de São Paulo (2000). Has experience in Mathematics, focusing on Pure Mathematics, acting on the following subjects: category theory, axiom of choice in caetgories, classical and non-classical logics, specially Brouwer´s intuitionism and some paraconsistent logics, abstract logics.
possui mestrado em Matemática pela Ludwig-Maximiliains-Universitaet Muenchen (1993) na área de análise complexa e doutorado em Matemática pela Universidade de São Paulo (2000) na área de lógica matemática. Atualmente é Professor Titular da Universidade Federal da Bahia. Tem experiência na área de Matemática, com ênfase em Matemática Pura, na área de Álgebra e Lógica Matemática. Pesquiso e oriento principalmente nos seguintes assuntos: teoria das categorias, axioma de escolha em categorias, lógicas clássica e não-clássicas, em particular, a lógica intuicionista de Brouwer-Heyting com modelos em (pré-)feixes, alguns lógicas paraconsistentes, e lógicas abstratas.