Contato

Cláudia Nalon
A1-76-28

Professor(a) Associado

Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
+55 (61) 3107-3677

Outras Informações

 

Ppossui 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.