Área do cabeçalho
gov.br
Portal da UFC Acesso a informação da UFC Ouvidoria Conteúdo disponível em:Português

Universidade Federal do Ceará
Ciência da Computação

Área do conteúdo

Drª. 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 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.

Acessar Ir para o topo