Busca avançada
Ano de início
Entree

Claudia Nalon

CV Lattes


Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Computação Científica (IMECC)  (Instituição-sede da última proposta de pesquisa)
País de origem: Brasil

possui graduação em Ciência da Computação pela Universidade de Brasília (1993), mestrado em Ciência da Computação pela Universidade Estadual de Campinas (1997) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora associada (nível 4) da Universidade de Brasília, tendo atuado como Coordenadora de Graduação do Bacharelado em Ciência da Computação e como Coordenadora de Extensão do Instituto de Ciências Exatas. Atua na área de Teoria da Computação, com interesse, principalmente, em métodos de prova baseados em resolução para combinações de lógicas não-clássicas. (Fonte: Currículo Lattes)

Bolsas no país
Apoio FAPESP em números * Quantidades atualizadas em 04/07/2020
1 Bolsas no país concluídas

Processos vinculados
Contate o Pesquisador

Este canal da BV/FAPESP deve ser utilizado tão somente para mensagens, referentes aos projetos científicos financiados pela FAPESP.


 

 

 

 

Palavras-chave utilizadas pelo pesquisador
Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

NALON, Claudia. Logica condicional forte. Dissertação (Mestrado) -  Instituto de Computação.  Universidade Estadual de Campinas (UNICAMP).  (95/08998-0

Por favor, reporte erros na informação da página do pesquisador escrevendo para: cdi@fapesp.br.
X

Reporte um problema na página


Detalhes do problema: