Possui graduação em Ciência da Computação pela Universidade Federal do Ceará (1996), mestrado em Ciência da Computação pela Universidade Federal do Ceará (2000) e doutorado em Informática pela Universidade Nova de Lisboa (2008). Atualmente é Professor Adjunto I da Universidade Federal do Ceará. Tem experiência na área de Ciência da Computação, com ênfase em Programação em Lógica, atuando principalmente nos seguintes temas: raciocinio não-monotônico, paraconsistência, programação em lógica, semânticas bem-fundadas e raciocínio difuso.
graduate at Ciência da Computação from Universidade Federal do Ceará (1996), master's at Computer Science from Universidade Federal do Ceará (2000) and ph.d. at Informática from Universidade Nova de Lisboa (2008). Has experience in Computer Science, acting on the following subjects: non-monotonic reasoning, paraconsistency, logic programming, well-founded semantics and fuzzy reasoning.