Tarcísio Haroldo Cavalcante Pequeno e Marcelino Pequeno

Bachelor's at Civil Engeeneering from Universidade Federal do Ceará (1970), master's at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1977) and doctorate at Computer Science from Pontifícia Universidade Católica do Rio de Janeiro (1981) and University of ewaterloo, Canada. Former associate Professor at PUC-Rio, Full Professor at Universidade federal do Ceará. Visiting Faculty at Imperial College, London, and University of New Hampshire, USA. Presently Full Professor at Universidade de Fortsleza.Former member of the board of Braziliam Society of Computing (SBC) and of Brazilian Society for the Advancement of Science (SBPC). Member of Computer science Consulting Comitee at CNPq and Representative of Computer Science area at CAPES. Former President of the Science funding Agency of the Government of Ceara State. Presently City Secretary of Science, Technology and Inovation of Fortaleza.Works in Philosophy and Artifitial Intelligence, mainly on Logics, Nonmonotonic logics, Paraconsistent logics, Proof Methods, Philosophy of Language, Philosophy of Mind, Philosophy of science. Recently has been interested in decision process and science for the city.

Possui graduação em Engenharia Civil pela Universidade Federal do Ceará (1970), mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1977) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1981), com sandwich na Universidade de Waterloo, no Canadá(1979). Foi professor na PUC do Rio e Universidade Federal do Ceará. Foi Visiting Faculty no Imperial College, Londres(1989), e na University of New Hampshire (1985). É professor titular da Universidade de Fortaleza.Foi membro da diretoria da SBPC, da diretoria da SBC, do Comitê Assessor em Ciência da Computação do CNPq, representente da área de Ciência da Computação na CAPES. Foi Presidente da Fundação Cearense de Apoio å Pesquisa - FUNCAP, no período de 2007 a 2011, e Secretário de Ciência, Tecnologia e Inovação de Fortaleza de 2012 ate 2016. Atualmente é Presidente da Fundação Cearense de Apoio à Pesquisa, desde 07/2016. Atua nas áreas de Inteligência Artificial e Filosofia, com ênfase em Lógica, Lógicas não monotônicas, Lógicas paraconsistentes, métodos de prova, Filosofia da Linguagem, Filosofia da mente, filosofia da ciência. Tem desenvolvido interesse no estudo de processos de decisåo e ciência da cidade.