Dra. Ana Teresa de Castro Martins

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.

Ver Currículo Lattes