Banner

Menu Principal

Página Inicial
Apresentação
Programação
Inscrições
Objetivos
Histórico
Temas de Interesse
Notícias
Organização
Parceiros
 
 
Claudia Nalon

Cláudia Nalon 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) doutorado em Ciência da Computação - University of Liverpool (2004). Atualmente é professora adjunta da Universidade de Brasília, tendo atuado como Coordenadora de Graduação e atuando como Coordenadora de Extensão. Atua na área de Teoria da Computação, com interesse, principalmente, nos seguintes temas: método de prova baseado em resolução e combinações de lógicas não-clássicas.

 

Universidade de Brasília - UnB - Campus Darcy Ribeiro - Asa Norte - Brasília / DF