E-mail: Este endereço de e-mail está protegido contra spambots. Você deve habilitar o JavaScript para visualizá-lo.
Site pessoal:
Linha de Pesquisa: Teoria da Computação - Lógica e Inteligência Artificial

Possui graduação em Tecnólogo em Processamento de Dados pela Universidade Federal do Ceará (1986), mestrado em Ciência da Computação pela Universidade Federal do Rio Grande do Sul (1990) e doutorado em Ciência da Computação pela Universidade Federal de Pernambuco (1997). Atualmente é Professora Titular da Universidade Federal do Ceará. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Teoria da Computação, atuando principalmente nos seguintes temas: Lógicas Clássicas e Não-Clássicas, Teoria da Prova, Teoria dos Modelos Finitos, Complexidade Descritiva e Parametrizada, Lógicas para Formalização e Automatização do Raciocínio.