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.

bachelor's at Bacharelado em Ciência da Computação from Universidade Federal do Ceará (2003), master's at Computer Science from Universidade Federal do Ceará (2007) and doctorate at Computer Science from Universidade Federal do Ceará (2012). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: expressiveness, fixed-points, minimal models, definability and circumscription.