Claudia 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) e doutorado em Ciência da Computação pela University of Liverpool (2004). Atualmente é professora titular 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. É membro fundadora do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, fazendo parte de seu comitê gestor. Fez parte de duas diretorias da Sociedade Brasileira de Lógica (2017-2019,2019-2021). É membro dos grupos de pesquisa em Teoria da Computação (unB) e Tec-MF-Logic Reasoning (pUC-Rio). Fez parte do comitê gestor da conferência internacional LSFA. É membro eleita dos comitês gestores de duas conferências internacionais: TABLEAUX e CADE. (Fonte: Currículo Lattes)