Claudia 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. (Source: Lattes Curriculum)