Professor of
Graduate Program in Computer Science of Federal University of Santa Catarina
since May 1997.
Researcher of CNPq
from September 1996 to August 2002.
Professor of Federal University
of Santa Catarina
since September 1996.
Professor of Federal University of Ceará
from December 1991 to August 1996.
Co-Founder of Center of Professional Education Mundo Melhor
A non government organization aiming attendance of socially deprived people
- from 1993 to 1995, in the city of Maracanaú, Ceará, Brazil.
Researcher of ESTRA Project - SID Informática
from 1988 to 1989. This project provided support for research in non classical
logics.
Instructor of Pontifical Catholic University
of Rio de Janeiro
from August 1986 to June 1988.
Officer of Bank of Brazil
from November 1980 to March 1984.
Scholarship Holder of Federal Fluminense
University
from 1977 to 1978, for doing research on logic and foundations of mathematics.
During this period I studied the work of Nicolas Bourbaki in mathematical
logic and theory of sets, and I compared the system of Bourbaki with other
systems of foundations of mathematics.
Professor do Curso de Pós-Graduação em Ciência
da Computação da Universidade Federal de Santa Catarina
desde maio de 1997.
Pesquisador do CNPq
de setembro de 1996 a agosto de 2002.
Professor da Universidade Federal de Santa
Catarina
desde setembro de 1996.
Professor da Universidade Federal do Ceará
de dezembro de 1991 a agosto de 1996.
Co-Fundador do Centro de Ensino Profissionalizante
Mundo Melhor
Uma organização não governamental visando o atendimento de pessoas socialmente
carentes - de 1993 a 1995, na cidade de Maracanaú, Ceará.
Pesquisador do Projeto ESTRA - SID Informática
de 1988 a 1989. Neste projeto recebi suporte para pesquisa em lógicas não
clássicas.
Professor Instrutor da Pontifícia Universidade
Católica do Rio de Janeiro
do 2o semestre de 1986 ao 1o semestre de 1988.
Funcionário do Banco do Brasil no cargo
de Auxiliar Administrativo
de novembro de 1980 a março de 1984.
Bolsista de Iniciação Científica pela Coordenação
de Pesquisa e Pós-Graduação da Universidade Federal Fluminense
em 1977 e 1978, na área de Lógica e Fundamentos de Matemática. Durante o período
desta bolsa estudei o trabalho de Nicolas Bourbaki em Lógica Matemática e
Teoria dos Conjuntos. Posteriormente comparei o sistema de Bourbaki com outros
sistemas de fundamentação da Matemática.
