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 Aposentada da Universidade Federal do Ceará. Tem experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, Lógica e Teoria da Computação, atuando principalmente nos seguintes temas: Formalização do Conhecimento e Automatização do Raciocínio usando Lógicas, Lógicas Clássicas e Não-Clássicas, Teoria da Prova, Teoria dos Modelos Finitos, Complexidade Descritiva e Parametrizada.

She graduated from Universidade Federal do Ceará (1986), with a degree in Tecnólogo em Processamento de Dados, master's at Computer Science from Universidade Federal do Rio Grande do Sul (1990) and PhD. at Computer Science from Universidade Federal de Pernambuco (1997). She has experience in Computer Science, focusing on Logics and Theory of Computation, acting on the following subjects: Classical and Non-Classical Logics, Proof Theory, Finite Model Theory and Descriptive Complexity, Logics for Reasoning Formalization and Automation.