Cláudia Nalon

is a (full) Professor at the University of Brasília. She has a Bachelor degree in Computer Science from the University of Brasília (1993), a Master degree in Computer Science from the State University of Campinas (1997) and a PhD in Computer Science from The University of Liverpool (2004). She joined the University of Brasília as senior lecturer in 2004. Her research interest is primarily on proof methods for combined non-classical logics. She has worked on resolution and tableaux-based methods for epistemic logic, temporal logic, dynamic logics, logics of confluence, as well as for combined modal languages and interacting logics.

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). É membro eleita dos comitês gestores de três conferências internacionais: LSFA, TABLEAUX e CADE.