Dr. Francicleber Martins Ferreira

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Ceará (2003), mestrado em Ciências da Computação pela Universidade Federal do Ceará (2007) e doutorado em Ciências da Computação pela Universidade Federal do Ceará (2012) com período "Sanduíche" na RWTH Aachen Universität na Alemanha. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Teoria dos Modelos, atuando principalmente nos seguintes temas: expressividade, operadores de ponto-fixo, modelos minimais, definibilidade, Teoria dos Modelos Finitos e Complexidade Descritiva.

Ver Currículo Lattes