Mestre em Ciências da Computação pela Universidade Federal do Ceará (2002). Possui graduação em Estatística pela Universidade Federal do Ceará (1986). Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação. Atuando principalmente nos seguintes temas: Lógica e Probabilidade, Raciocínio Automático.