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.

Informações coletadas do Lattes em 03/12/2024

Acadêmico

Formação acadêmica

Doutorado em Ciência da Computação

1999 - 2004

University of Liverpool
Título: Resolution for Synchrony and No Learning
Orientador: Clare Dixon and Michael Fisher
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: ARTIFICIAL INTELLIGENCE; THEOREM PROVING; MODAL LOGICS OF KNOWLEDGE AND BELIEF; TEMPORAL LOGICS; INTERACTION BETWEEN LOGICS; MULTI-AGENT AND DISTRIBUTED SYSTEMS. Grande área: Ciências Exatas e da Terra

Mestrado em Ciência da Computação

1995 - 1997

Universidade Estadual de Campinas
Título: Lógica Condicional Forte
Orientador: Jacques Wainer
, Ano de Obtenção: 1997.Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: Lógicas Nao-Monotônicas; Lógicas Condicionais; Representação de Conhecimento; Inteligência Artificial; Raciocínio.Grande área: Ciências Exatas e da Terra

Graduação em Ciência da Computação

1988 - 1993

Universidade de Brasília, UnB
Título: RECONHECIMENTO DE FONEMAS OCLUSIVO-SURDOS DA LÍNGUA PORTUGUESA USANDO REDES NEURAIS AUTO-ORGANIZÁVEIS
Orientador: MARIA EMÍLIA MACHADO TELLES WALTER
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Pós-doutorado

2022 - 2023

Pós-Doutorado. , University of Manchester, MANCHESTER, Inglaterra. , Bolsista do(a): Fundação de Apoio à Pesquisa do Distrito Federal, FAP/DF, Brasil. , Grande área: Ciências Exatas e da Terra

2017 - 2018

Pós-Doutorado. , University Of Liverpool, LIV.AC.UK, Grã-Bretanha. , Grande área: Ciências Humanas

2012 - 2013

Pós-Doutorado. , University Of Liverpool, LIV.AC.UK, Grã-Bretanha. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Exatas e da Terra

Idiomas

Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Espanhol

Compreende Razoavelmente, Lê Razoavelmente.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.

Organização de eventos

NALON, C. . 5º Workshop Brasileiro de Lógica (WBL 2024). 2024. (Congresso).

Bonacina, M. P. ; Fontaine, P. ; NALON, C. ; Schon, C. . Dagstuhl Seminar 23471 - The Next Generation of Deduction Systems: From Composition to Compositionality. 2023. (Outro).

NALON, C. . WBL 2022 - III Workshop Brasileiro de Lógica. 2022. (Congresso).

NALON, CLÁUDIA . Dagstuhl Seminar 21371 - Integrated Deduction. 2021. (Outro).

NALON, C. . WBL 2021 - II Workshop Brasileiro de Lógica Florianópolis, Santa Catarina, Brasil, July 18-22, 2021. Affiliated to the XLI CSBC (Congresso da Sociedade Brasileira de Computação). https://csbc.ufsc.br/eventos/wbl/. 2021. (Congresso).

Olaf Beyersdorff ; Uwe Egly ; Meena Mahajan ; Cláudia Nalon . Dagstuhl Seminar 20061 - SAT and Interactions. 2020. (Outro).

OLARTE, C. ; Pimentel, E. ; Marcos, João ; NALON, CLÁUDIA . 14th International Workshop on Logical and Semantic Frameworks, with Applications. 2019. (Congresso).

Pimentel, E. ; OLARTE, C. ; Marcos, João ; NALON, CLÁUDIA ; Reis, Giselle . CADE-27, The 27th International Conference on Automated Deduction. 2019. (Congresso).

NALON, C. ; SOBRINHO, D. N. ; Pimentel, E. ; João Marcos . TABLEAUX 2017 - The 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. 2017. (Congresso).

NALON, C. ; SOBRINHO, D. N. ; Pimentel, E. ; João Marcos . FroCoS 2017 - The 11th International Symposium on Frontiers of Combining Systems. 2017. (Congresso).

NALON, C. ; SOBRINHO, D. N. ; Pimentel, E. ; Marcos, João . ITP 2017 - The 8th International Conference on Interactive Theorem Proving. 2017. (Congresso).

NALON, C. ; Moura, F. L. C. ; SOBRINHO, D. N. . 9th Logical and Semantic Frameworks, with Applications. 2014. (Congresso).

PAULINO, F. O. ; SOUZA, P. C. ; NALON, C. ; SANTOS, E. A. . Encontro de Extensão 2011: Rumos da UnB. 2011. (Outro).

QUEIROZ, R. ; DAWAR, A ; Ayala-Rincón, M. ; Moura, F. L. C. ; NALON, C. ; OLIVEIRA, A. G. . WoLLIC 2010 17th Workshop on Logic, Language, Information and Computation. 2010. (Congresso).

Moura, F. L. C. ; MUSICANTE, M. ; HAEUSLER, E. H. ; NALON, C. ; CORREA, M. . LSFA 2010 - Workshop on Logical and Semantic Frameworks, with Applications. 2010. (Congresso).

NALON, C. ; Pimentel, E. ; HAEUSLER, E. H. ; Ayala-Rincón, M. ; PINTO, G. A. . LSFA 2009 - Fourth Workshop on Logical and Semantic Frameworks, with Applications. 2009. (Congresso).

ARAUJO, A. P. F. ; Prado, M. C. ; NALON, C. ; PRESTES, Álvaro Nunes ; Barbosa, G. V. . ERI-CO1 - III Escola Regional de Informática do Centro-Oeste 1. 2009. (Congresso).

Participação em eventos

WoLLIC 2021. From Global to Local: Efficient Reductions for Automatic Deduction in Modal Logics. 2021. (Congresso).

XVIII Seminário Informal(, mas Formal!) do Grupo de Teoria da Computação.The Early Years of Automated Reasoning: The Logic Theory Machine'. 2021. (Seminário).

SAT and Interactions, Dagstuhl Seminar.Modal Logics: an Overview, parts 1 and 2, Dagstuhl Seminar. 2020. (Seminário).

19th Brazilian Logic Conference. Mesa Redonda: Mulheres na Lógica (e no Brasil). 2019. (Congresso).

Deduction Beyond Satisfiability, Dagstuhl Seminar.A Resolution Calculus for Preferential Logic, Dagstuhl Seminar. 2019. (Seminário).

Women in Logic 2018.On the Combination of Resolution and SAT Procedures for Modal Theorem-Proving. 2018. (Encontro).

4th International Workshop on Structures and Deduction, SD17.Theorem- Proving for Modal Logics. 2017. (Oficina).

International Joint Conference on Artificial Intelligence, IJCAI-17. KSP: A Resolution-based Prover for Multimodal K, Abridged Report. 2017. (Congresso).

I Workshop Escola de Inverno em Teoria da Computação.Modal Reasoning through Resolution. 2017. (Oficina).

Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017. 2017. (Congresso).

Summer Logic School.Summer Logic School. 2017. (Seminário).

Women in Logic.Strategies for Modal Theorem-Proving. 2017. (Oficina).

XVIII Brazilian Logic Conference. Efficient Theorem-Proving for Modal Logics. 2017. (Congresso).

7th International Conference on Interactive Theorem Proving. ITP 2017 in Brasília. 2016. (Congresso).

Compositional Meaning in Logic [GeTFun 4.0].Classical resolution for many-valued logics: the non-deterministic case. 2016. (Encontro).

International Joint Conference on Automated Reasoning, IJCAR 2016. KSP: a resolution-based prover for multimodal K. 2016. (Congresso).

24th Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015. A Modal-Layered Resolution Calculus for K. 2015. (Congresso).

LSFA 2015 -10th Workshop on Logical and Semantic Frameworks, with Applications.Classical resolution for many-valued logics. 2015. (Oficina).

2nd International Workshop on Strategic Reasoning.A Resolution Prover for Coalition Logic. 2014. (Oficina).

7th International Joint Conference on Automated Reasoning (IJCAR). Clausal Resolution for Modal Logics of Confluence. 2014. (Congresso).

ETAPS. 2014. (Congresso).

Joint Automated Reasoning Workshop and Deduktionstreffen. A Resolution-Based Prover for Normal Modal Logics. 2014. (Congresso).

Logic Colloquium 2014. 2014. (Congresso).

LSFA 2014 - 9th Workshop on Logical and Semantic Frameworks, with Applications. A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. 2014. (Congresso).

LSFA 2013 -8th Workshop on Logical and Semantic Frameworks, with Applications.Towards resolution-based reasoning for connected logics. 2013. (Oficina).

Seminário Informal (+ Formal).A resolution-based calculus for Coalition Logic. 2013. (Seminário).

Seminários de Lógica - FIL/UnB.Resolução para Lógicas Modais Normais. 2013. (Seminário).

Seminários do Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações (LoLITA).Resolução para Lógicas de Coalizão. 2013. (Seminário).

Automated Reasoning Workshop.A Linear Strategy for Modal Resolution. 2012. (Encontro).

IJCAR 2012 ? The 6th International Joint Conference on Automated Reasoning. 2012. (Congresso).

Legal, Ethical, and Social Aspects of Autonomous Systems. 2012. (Encontro).

Practical Aspects of Automated Reasoning (PAAR 2012). 2012. (Congresso).

The Alan Turing Centenary Conference. 2012. (Congresso).

Encontro de Extensão 2011 - Rumos da UnB.Mesa Redonda: Limites e possibilidades da política nacional de extensão. 2011. (Encontro).

Encontro de Extensão 2011 - Rumos da UnB.Mesa Redonda - Estratégias da extensão na UnB - Eixos temáticos: os desafios da comunicação e da normatização e a problemática da normatização e da política. 2011. (Encontro).

XVI EBL - Encontro Brasileiro de Logica. 2011. (Encontro).

XVI EBL - Encontro Brasileiro de Lógica.Formal Verification using Epistemic Logic. 2011. (Encontro).

LSFA 2010 - Fifth Workshop on Logic and Semantic Frameworks, with Applications. 2010. (Congresso).

Semana Nacional de Ciência e Tecnologia.Meninas na Computação. 2010. (Outra).

WOLLIC 2010 - 17th Workshop on Logic, Language, Information and Computation. 2010. (Congresso).

LSFA 2009 - Fourth Workshop on Logic and Semantic Frameworks, with Applications. 2009. (Congresso).

RDP 2009 - Federated Conference on Rewriting, Deduction & Programming. 2009. (Congresso).

Semana Nacional de Ciência e Tecnologia.Demonstrações de Software - Departamento de Ciência da Computação. 2009. (Outra).

Semana Nacional de Ciência e Tecnologia.Áreas de Formação em Computação. 2009. (Outra).

Seminário Informal (, mas Formal).Resolução Clausal para Lógicas Modais Normais. 2008. (Seminário).

Brazilian Workshop on Logical and Semantic Frameworks, with Applications (LSFA'06). Normal Modal Resolution: Preliminary Results. 2006. (Congresso).

Curso de Qualidade. 2006. (Oficina).

Loco Seminars.Normal Forms for Modal Logics. 2006. (Seminário).

Seminários - LIAMF - IME - USP.Prova Automática de Teoremas para Lógicas Modais. 2006. (Seminário).

Seminários - Mestrado em Informática - CIC - UnB.Lógica Computacional: Verificação com Lógicas Temporais. 2006. (Seminário).

Simpósio Brasileiro de Métodos Formais (SBMF'06). 2006. (Simpósio).

Workshop on Automated Reasoning.Normal Forms for Modal Logics. 2006. (Simpósio).

Seminário Informal (, mas Formal).Formas Normais para Lógicas Modais. 2005. (Seminário).

International Conference on Advances in Modal Logic. Resolution for Synchrony and No Learning. 2004. (Congresso).

Seminário Informal (, mas formal).Prova Autmomática de Teoremas para Lógicas Modais. 2004. (Seminário).

Workshop on Bioinformatics. 2004. (Congresso).

Postgraduate Workshop. 2003. (Seminário).

British Colloquium of Theoretical Computer Science - BCTCS.Resolution for Interacting Logics of Knowledge and Time. 2002. (Simpósio).

LOGAMAS. 2002. (Simpósio).

Postgraduate Workshop.Theorem-Proving for Temporal Logics of Knowledge with Interactions. 2002. (Seminário).

TIME'02. 2002. (Simpósio).

Participação em bancas

Aluno: Erick Simas Grilo

LOPES, BRUNO; Mario Roberto Folhadela Benevides;Cláudia NalonEdward Hermann Haeusler. ReLo: a Dynamic Logic to Reason About Reo Circuits. 2021. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

Aluno: Lucas de Moura Amaral

Nalon, CláudiaLopes, B.; SOBRINHO, D. N.;Ayala-Rincón, M.. A resolution-based E-connected calculus. 2019. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Daniella Albuquerque dos Angelos

NALON, CLÁUDIALopes, B.; Faleiros, T. P.. Combining Clause Learning and Resolution for Multimodal Reasoning. 2019. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Felipe Rodopoulos de Oliveira

NALON, CLÁUDIAHAEUSLER, EDWARD HERMANN; Gondim, J. J. C.. Verification of the Dynamic Authorization Protocol. 2019. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Thiago Coelho Vieira

NALON, C.; SOBRINHO, D. N.; Moura, F. L. C.. Um Provador de Teoremas baseado em Tableaux para Verificação de Propriedades em Lógicas Temporais de Conhecimento ou Crença. 2015. Dissertação (Mestrado em Informática) - Universidade de Brasília.

Aluno: Adriano Alves Dodó

João Marcos;B. BedregalNALON, C.; Pimentel, E.. Rich Modal Logics. 2013. Dissertação (Mestrado em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Daniel Lima Ventura

Ayala-Rincón, M.; FINGER, M.;NALON, C.. Cálculos de Substituições Explícitas que Preservam a Propriedade de Redução do Sujeito. 2006. Dissertação (Mestrado em Matemática) - Universidade de Brasília.

Aluno: Mostafa Sakr

NALON, C.; KOROVIN, K.. Fine-Grained Forgetting for Expressive Description Logics: Deductive, Semantic, and Query Forgetting In One Framework.. 2023. Tese (Doutorado em Computer Science) - University of Manchester.

Aluno: Bernardo Pinto de Alkmim

HAEUSLER, E. H.NALON, CLÁUDIA; CASANOVA, M. A.; SOUZA, C. S.; VARZINCZAK, I. J.; WASSERMANN, R.. Law and Order(ing): Providing a Natural Deduc- tion System and Non-monotonic Reasoning to an Intuitionistic Description Logic. 2023. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Washington Luís Ribeiro de Carvalho Segundo

Ayala-Rincón, M.; Kutsia, T.; Díaz-Caro, Alejandro; VENTURA, D. L.;Nalon, Cláudia. Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity. 2019. Tese (Doutorado em Informática) - Universidade de Brasília.

Aluno: Bruno Lopes Vieira

Edward Hermann Haeusler; Gilles Dowek; Mario Roberto Folhadela Benevides;NALON, C.; Luiz Carlos Pinheiro Dias Pereira; Jorge Petrucio Viana; Helio Côrtes Vieira Lopes; Jose Eugênio Leal. Extending Propositional Dynamic Logic for Petri Nets. 2014. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Aluno: Kaliana dos Santos Dias de Freitas

Ayala-Rincón, M.; VENTURA, D. L.;Nalon, Cláudia; Moura, F. L. C.. THE λσ-CALCULUS OVER ALL DE BRUIJN INDICES. 2019. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: ITALO BARBOSA BRASILEIRO

André Costa Drummond; Gustavo Bittencourt Figueiredo;NALON, CLÁUDIA; Marcelo Antônio Marotta. Spatial division multiplexing in elastic optical networks. 2019. Exame de qualificação (Doutorando em Informática) - Universidade de Brasília.

Aluno: Daniel Lima Ventura

Ayala-Rincón, M.HAEUSLER, E. H.NALON, C.. Exame de Qualificação na Área de Computação. 2006. Exame de qualificação (Doutorando em Matemática) - Universidade de Brasília.

Aluno: Mehwish Arshid

Ayala-Rincón, M.Nalon, Cláudia; SOBRINHO, D. N.; Moura, F. L. C.. Asymmetric Unification and DisUnification Modulo. 2019. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

Aluno: Lucas de Moura Amaral

NALON, C.Ayala-Rincón, M.; SOBRINHO, D. N.. A Resolution-Based E-Connected Calculus. 2017. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

Aluno: Daniella Albuquerque d'Angelos

NALON, C.LOPES, BRUNO; OLARTE, C.. Combined Proof Methods for Multimodal Logic. 2017. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

Aluno: Adriano Alves Dodó

João Marcos;B. BedregalNALON, C.. Rich Modal Logics. 2013. Exame de qualificação (Mestrando em Sistemas e Computação) - Universidade Federal do Rio Grande do Norte.

Aluno: Thiago Coelho Vieira

Ayala-Rincón, M.; Moura, F. L. C.;NALON, C.. Verificação de Propriedades Epistêmicas com o SPIN via Tradução Automática para PLTL. 2013. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

Aluno: Thiago Coelho Vieira

Ayala-Rincón, M.; Moura, F. L. C.;NALON, C.. Verificação de Propriedades Epistêmicas com o SPIN via Tradução Automática para PLTL. 2012. Exame de qualificação (Mestrando em Informática) - Universidade de Brasília.

Aluno: João Victor Cabral de Melo

NALON, C.Lopes, B.; Moura, F. L. C.. Preprocessamento de cláusulas para raciocínio local e global no KSP. 2023. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Lucas Gomes Silva

RIBAS, B. C.;NALON, CLÁUDIA; BRAZ, F. A.. REPRESENTAÇÃO AIG COMO FORMATO DE ENTRADA PARA O LIAMFSAT. 2022. Trabalho de Conclusão de Curso (Graduação em Engenharia de Software) - Universidade de Brasília.

Aluno: José Marcos da Silva Leite

NALON, CLÁUDIA; Faleiros, T. P.; RIBAS, B. C.. Algoritmos de seleção de cláusulas em provas por resolução para lógicas modais. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Boris Marinho Ramos Silva Araujo

NALON, CLÁUDIA; Faleiros, T. P.; RIBAS, B. C.. Prova Automática de Teoremas para Lógicas Confluentes. 2021. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Daniella Albuquerque dos Angelos

NALON, C.; RALHA, C. G.; ALVES, V. R.. Tableaux Clausal para Lógica Modal. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Pedro da C

ALMEIDA, R. B.;NALON, C.; CASTRO, T. M.. Abreu Júnior.Mechanization and Overhaul of Feature Featherwight Java. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Matheus Costa de Sousa Carvalho Pimenta

NALON, C.Lopes, B.; WALTER, Maria Emília. Um algoritmo baseado em programação dinâmica e renomeamento para minimização de formas normais. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: André Belle Menezes

NALON, C.; BORGES, D. L.; RAMOS, G. N.. Métodos Polinomiais para Simplificação de Fórmulas Modais. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: George Bezerra Silva

NALON, C.Ayala-Rincón, M.; Moura, F. L. C.. Implementação de um provador de teoremas por resolução para lógicas modais normais. 2013. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Daniel Saad Nogueira Nunes

Ayala-Rincón, M.NALON, C.; NASCIMENTO, A. C. A.. Correção e Análise de Algoritmos baseados no Método de Boyer-Moore de Casamento de Padrões. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Calebe Marcelo Barbosa e Lucas Flach Romani

NOBREGA, G. M. da; PICCOLO, H. L.;NALON, C.. Um Tutor Rastreador de Exemplos para Apoio à Aprendizagemm da Teoria dos Autômatos. 2011. Trabalho de Conclusão de Curso (Graduação em Computação -- Licenciatura) - Universidade de Brasília.

Aluno: FELIPE ALMEIDA LESSA

WALTER, Maria Emília; MARTINS NETO, D. S. B.; GILARDONI, G.;NALON, C.. Construção automática de prioris Dirichlet com múltiplos componentes para identificação de RNAs não-codificadores. 2010. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Leonardo de Araújo Barnabé

WALTER, Maria Emília;NALON, C.; RALHA, J. C. L.. Gestão de Tecnologias no Laboratório de Informática da Escola Classe no 02 - Paranoá/DF: Um Projeto de Inclusão Digital. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Flávio Borges Botelho

Moura, F. L. C.; PINTO, G. A.;NALON, C.. Implementação do Lambda-Cálculo com Tipos no Software SUBEXPL. 2008. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: Tiago Oliveira da Silva

Carvalho, J.; Fernandes, J.;NALON, C.. Aplicação da Tecnologia Data Warehouse na Avaliação Interna das Instituições de Ensino Superior. 2007. Trabalho de Conclusão de Curso (Graduação em Computação -- Licenciatura) - Universidade de Brasília.

Aluno: Hélio Guilherme Dias Silva & Henrique Augusto Guimarães

CARVALHO, M. A.; CONCEIÇÃO, P. H. Z.;NALON, C.. Análise Crítica Pedagógica da Plataforma Moodle. 2005. Trabalho de Conclusão de Curso (Graduação em Computação -- Licenciatura) - Universidade de Brasília.

Aluno: Daniela Dias Xavier

WALTER, Maria Emília;NALON, C.; SOARES, L. S. N.. O Problema de Ordenação por Transversões. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

Aluno: André van Glehn & Alessandro Castro

CARVALHO, M. A.;NALON, C.; BRANDAO, M. F. R.. CmapTool como Esquema Cognitivo em um Sistema Tutor Inteligente. 2005. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

NALON, C.; MELO, A. C. M. A.; CARVALHO, A. C. P. L. F.. Concurso Público para Professor Adjunto - CIC/UnB. 2016. Universidade de Brasília.

João Marcos;HAEUSLER, E. H.; carlos Prolo;NALON, C.; NIGAM, V.; Pimentel, E.. CONCURSO PÚBLICO DE PROVAS E TÍTULOS PARA O MAGISTÉRIO SUPERIOR, CLASSE ?A?, NA ÁREA DE CIÊNCIA DA COMPUTAÇÃO.. 2014. Universidade Federal do Rio Grande do Norte.

MEDINO, A. V.; CÁCERES, E. N.;NALON, C.; CUMINATO, J. A.. Professor Adjunto DE - Matematica Aplicada. 2010. Universidade de Brasília.

NALON, C.; PIMENTA, M.; Fernandes, J.. Professor Adjunto DE - Sistemas de Informação, Engenharia de Software e Banco de Dados. 2009. Universidade de Brasília.

Moura, F. L. C.; RALHA, J. C. L.;NALON, C.. Banca Examinadora Especial, Teoria da Computação. 2014. Universidade de Brasília.

AZEVEDO, A. A.;NALON, C.; Boaventura, A. R.. Banca de Seleção ao Programa de Intercâmbio entre a Universidade de Brasília e Universidades Portuguesas. 2009. Universidade de Brasília.

AZEVEDO, A. A.;NALON, C.. Banca de Seleção ao Programa de Intercâmbio entre a Universidade de Brasília e Universidades do Porto. 2009. Universidade de Brasília.

NALON, C.; SOBRAL, Y. D.. Banca de Pré-Seleção ao Programa de Bolsas Luso-Brasileiras Santander Universidades. 2009. Universidade de Brasília.

AZEVEDO, A. A.;NALON, C.. Banca de Pré-Seleção ao Programa Top China Santander entre a Universidade de Brasília e a Universidade de Xangai. 2009. Universidade de Brasília.

Gobbo, S.; Melo Alves, C. A.;NALON, C.; GOMES, G. P. F. V.; Porto, C. E.; Granja e Barros, A. F.; Santos, P. A. M.; Boaventura, A. R.; de Farias, F. C.. Banca de Seleção do Programa de Bolsas Luso-Brasileiras Santander Universidades. 2008. Universidade de Brasília.

NALON, C.; MELO, A. C. M. A.; Brandão, M. C. P.. Seleção Simplificada para Professor Substituto. 2007. Universidade de Brasília.

Orientou

Guilherme Veloso Neves Oliveira

Automação de Redução Polinomial para Problemas em NP; Início: 2020; Dissertação (Mestrado em Informática) - Universidade de Brasília; (Orientador);

Lucélia Vieira Mota

Caracterização de Problemas de Alocação como Problemas de Satisfação Pseudo-Booleanos: Estudo de Caso; Início: 2020; Dissertação (Mestrado em Informática) - Universidade de Brasília; (Orientador);

Michel Veiga de Leite Ribeiro Melo

Automatização da Metateoria de Lógicas Modais; Início: 2020; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília; (Orientador);

Annelise Schulz dos Santos

Pensamento Computacional para Crianças; Início: 2019; Trabalho de Conclusão de Curso (Graduação em Computação -- Licenciatura) - Universidade de Brasília; (Orientador);

Felipe Rodopoulos de Oliveira

Verification of the Dynamic Authorization Protocol; 2019; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Cláudia Nalon;

Lucas de Moura Amaral

A resolution-based E-connected calculus; 2019; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cláudia Nalon;

Daniella Albuquerque dos Angelos

Combining Clause Learning and Resolution for Multimodal Reasoning; 2019; Dissertação (Mestrado em Informática) - Universidade de Brasília, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Cláudia Nalon;

Thiago Coelho Vieira

Um Provador de Teoremas baseado em Tableaux para Verificação de Propriedades em Lógicas Temporais de Conhecimento ou Crença; 2015; Dissertação (Mestrado em Informática) - Universidade de Brasília, ; Orientador: Cláudia Nalon;

Karen Lima Macêdo

Implementação da Combinação de Métodos de Prova Automática de Teoremas para Lógicas Modais; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Rafael Monteiro Rodrigues

Lidando com a legibilidade de provas em Isabelle; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

João Victor Cabral de Melo

Preprocessamento de cláusulas para raciocínio local e global no KSP; 2023; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

José Marcos Leite

Implementação de Técnicas de Seleção de Cláusulas em um Provador de Teoremas Modais; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Boris Marinho Ramos Silva Araujo

Prova Automática de Teoremas para Lógicas Confluentes; 2020; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Matheus Bastos de Castro

Provas de Teoremas em Lógicas Multivaloradas; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Matheus Costa de Sousa Carvalho Pimenta

Um algoritmo baseado em programação dinâmica e renomeamento para minimização de formas normais; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

André Belle Menezes

Métodos Polinomiais para Simplificação de Fórmulas Modais; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Daniella Albuquerque dos Angelos

Tableaux Clausal para Lógica Modal; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

George Bezerra Silva

Implementação de um provador de teoremas por resolução para lógicas modais normais; 2013; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Thiago Coelho Vieira

Especificação de Propriedades Temporais do Protocolo Needham-Schröeder; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Guilherme Juscelino de Sousa Morato

Especificação do Algoritmo da Transformada Rápida de Fourier Implementada em um Dispositivo Reconfigurável usando Lógica Temporal: Estudo de Caso; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Bruno Azevedo Vilela

Análise de Complexidade de Espaço de um Algoritmo de K1-Validade; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

André Queiroz Lacerda e Silva

Verificação Formal com Lógica Temporal e Epistêmica; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Daniel Moura da Silva

Tradução de Circuitos Combinacionais Descritos em VHDL para a Lógica Proposicional; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Leonardo da Silva Borges

Heurísticas para Resolução de Ontologias Conflitantes; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Rodrigo Otávio Ribeiro Hagstrom

A Tecnologia de Identificação por Radiofreqüência e os seus Riscos à Privacidade; 2008; Trabalho de Conclusão de Curso; (Graduação em Computação -- Licenciatura) - Universidade de Brasília; Orientador: Cláudia Nalon;

Euclides José Lima Velloso

Ferramenta para Facilitação de Benchmarking; 2007; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Cleilton Soares de Moura

Verificação de Hardware Combinacional; 2007; Trabalho de Conclusão de Curso; (Graduação em Computação -- Licenciatura) - Universidade de Brasília; Orientador: Cláudia Nalon;

Frederico Soares Canêdo

Comparação entre Formas Normais para Lógicas Epistêmicas; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Vitor Choi Feitosa

Otimização de Fórmulas da Lógica Proposicional Usando Grafos Acíclicos Dirigidos; 2006; Trabalho de Conclusão de Curso; (Graduação em Computação -- Licenciatura) - Universidade de Brasília; Orientador: Cláudia Nalon;

Lídia Araujo Miranda

Verificação de Hardware Utilizando Lógics: Estudos de Caso; 2006; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

João Lucas Sales Aragão

Produção de Conjuntos de Testes para Provadores Modais; 2023; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cláudia Nalon;

Maria Julia Dias Lima

Formalização de Resultados Metateóricos em Assistente de Provas: sintaxe e semântica da lógica multimodal; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Karen Lima Macêdo

Implementação de Interfaces para Raciocínio Local e Global em um Provador Automático de Teoremas para Lógicas Modais; 2021; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Universidade de Brasília; Orientador: Cláudia Nalon;

Maria Julia Dias Lima

Formalização de Resultados Metateóricos em Assistente de Provas: sintaxe e semântica da lógica multimodal; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Universidade de Brasília; Orientador: Cláudia Nalon;

Karen Lima Macêdo

Implementação de Interfaces para Raciocínio Local e Global em um Provador Automático de Teoremas para Lógicas Modais; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Boris Marinho Ramos Silva Araujo

Prova Automática de Teoremas para Lógicas Confluentes; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Ricardo Arôso Mendes Kury

Extensão de um provador de teoremas modais: lógicas confluentes; 2018; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cláudia Nalon;

José Marcos da Silva Leite

Geração Automática de Modelos em Lógicas Modais: Implementação; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cláudia Nalon;

Daniella Albuquerque dos Angelos

Geração Automática de Modelos em Lógicas Modais: Implementação; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Cláudia Nalon;

André Belle Menezes

Provadores de Teoremas para Lógicas Modais: Implementação e Avaliação Experimental; 2015; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade de Brasília, Fundação de Apoio à Pesquisa do Distrito Federal; Orientador: Cláudia Nalon;

Dayanne Fernandes da Cunha

Prova de Teoremas para Lógicas Modais Normais: Avaliação Experimental; 2014; Iniciação Científica; (Graduando em Computação -- Licenciatura) - Universidade de Brasília; Orientador: Cláudia Nalon;

João Lucas Sales Aragão

CIC0377 - MONITORIA EM LÓGICA COMPUTACIONAL 1; 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

João Victor Cabral de Melo

CIC0377 - MONITORIA EM LÓGICA COMPUTACIONAL 1; 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

João Victor Cabral de Melo

CIC0377 - MONITORIA EM LÓGICA COMPUTACIONAL 1; 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

João Lucas Sales Aragão

CIC0377 - MONITORIA EM LÓGICA COMPUTACIONAL 1; 2022; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Adriano Rodrigues Figueiredo Torres

Monitoria II - CIC0106 - Tradutores; 2021; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Felipe Rodopoulos de Oliveira

Estágio Docência II - CIC 116459 - Tradutores; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Vitor Coimbra de Oliveira

Monitoria II - CIC 116459 - Tradutores; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

José Luis Soncco Alvarez

Estágio Docência II - CIC 116459 - Tradutores; 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Déborah Mendes Ferreira

Estágio Docência II - CIC 116459 - Tradutores; 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Luciano Henrique de Oliveira Santos

Estágio Docência II - CIC 116459 - Tradutores; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Thiago Coelho Vieira

Estágio Docência II - CIC 117366 - Lógica Computacional 1; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade de Brasília; Orientador: Cláudia Nalon;

Produções bibliográficas

Papacchini, Fabio ; Cláudia Nalon ; HUSTADT, ULLRICH ; DIXON, Clare . Local is Best: Efficient Reductions to Modal Logic K. JOURNAL OF AUTOMATED REASONING , v. 1, p. 1, 2022.
LOPES, BRUNO ; NALON, C. ; HAEUSLER, E. H. . Reasoning about Petri nets: a calculus based on Resolution and Dynamic Logic. ACM Transactions on Computational Logic , v. 22, p. 1-22, 2021.
NALON, CLÁUDIA ; DIXON, Clare ; HUSTADT, U. . Modal Resolution. ACM Transactions on Computational Logic , v. 20, p. 1-38, 2019.
Nalon, Cláudia ; HUSTADT, ULLRICH ; DIXON, Clare . A Resolution-Based Theorem Prover for $${ extsf {K}}_{n}^{}$$Kn: Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning (Dordrecht. Online) , v. 64, p. 461-484, 2018.
Marcos, João ; Nalon, Cláudia . Classical Resolution for Many-Valued Logics. Electronic Notes in Theoretical Computer Science , v. 323, p. 253-270, 2016.
Nalon, Cláudia ; LOPES, BRUNO ; DOWEK, GILLES ; HAEUSLER, EDWARD HERMANN . A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. Electronic Notes in Theoretical Computer Science , v. 312, p. 125-141, 2015.
NALON, C. ; ZHANG, L. ; DIXON, Clare ; HUSTADT, U. . A resolution-based calculus for Coalition Logic. Journal of Logic and Computation (Print) , v. 24, p. 883-917, 2014.
NALON, CLÁUDIA ; ZHANG, LAN ; DIXON, Clare ; HUSTADT, ULLRICH . A Resolution Prover for Coalition Logic. Electronic Proceedings in Theoretical Computer Science , v. 146, p. 65-73, 2014.
NALON, C. ; Kutz, O. . Towards Resolution-based Reasoning for Connected Logics. Electronic Notes in Theoretical Computer Science , v. 305, p. 85-102, 2014.
NALON, C. ; DIXON, Clare . Clausal Resolution for Normal Modal Logics. Journal of Algorithms , v. 62, p. 117-134, 2007.
DIXON, Clare ; NALON, C. ; FISHER, Michael . Tableaux for logics of time and knowledge with interactions relating to synchrony. Journal of Applied Non-Classical Logics , Paris, France, v. 14, n.4, p. 397-445, 2004.
BROWN, C. W. (Org.) ; KAUFMANN, D. (Org.) ; NALON, C. (Org.) ; STEEN, A. (Org.) ; SUDA, M. (Org.) . PAAR+SC-Square 2024 Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2024. 371. ed. Aachen: CEUR-WS.org, 2024. v. 1. 136p .
NALON, C. ; Pimentel, E. (Org.) . Anais do III Workshop Brasileiro de Lógica (WBL). 1. ed. Porto Alegre, RS: Sociedade Brasileira de Computação, 2022. v. 1. 40p .
SCHMIDT, R. A. (Org.) ; NALON, C. (Org.) . Automated Reasoning with Analytic Tableaux and Related Methods, the 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. 1. ed. Cham: Springer International Publishing, 2017.
Papacchini, Fabio ; Nalon, Cláudia ; HUSTADT, ULLRICH ; DIXON, Clare . Efficient Local Reductions to Basic Modal Logic. In: A. Platzer; G. Sutcliffe. (Org.). Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2021, v. 12699, p. 76-92.
NALON, C. ; HUSTADT, U. ; DIXON, Clare . KSP: A Resolution-Based Prover for Multimodal K. In: Nicola Olivetti;Ashish Tiwari. (Org.). Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 -- July 2, 2016, Proceedings. 1ed.Cham, Switzerland: Springer International Publishing, 2016, v. 9706, p. 406-415.
DIXON, Clare ; NALON, C. ; R. Ramanujam . Knowledge and Time. In: Hans van Ditmarsch; Joseph Y. Halpern; Wiebe van der Hoek; Barteld Kooi. (Org.). Handbook of Epistemic Logic. 1ed.London: College Publications, 2015, v. , p. 205-259.
Nalon, Cláudia ; HUSTADT, ULLRICH ; DIXON, Clare . A Modal-Layered Resolution Calculus for K. In: Hans de Nivelle. (Org.). Lecture Notes in Computer Science. 1ed.New York - Heidelberg: Springer International Publishing, 2015, v. 9323, p. 185-200.
HUSTADT, ULLRICH ; Gainer, Paul ; DIXON, Clare ; Nalon, Cláudia ; ZHANG, LAN . Ordered Resolution for Coalition Logic. In: Hans de Nivelle. (Org.). Lecture Notes in Computer Science. 1ed.New York - Heidelberg: Springer International Publishing, 2015, v. 9323, p. 169-184.
Nalon, Cláudia ; Marcos, João ; DIXON, Clare . Clausal Resolution for Modal Logics of Confluence. In: Demri, Stéphan; Kapur, Deepak; Weidenbach, Christoph. (Org.). Lecture Notes in Computer Science. 0ed.: Springer International Publishing, 2014, v. 8562, p. 322-336.
NALON, C. ; DIXON, Clare ; FISHER, Michael . Resolution for Synchrony and No Learning. In: Renate Schmidt; Ian Pratt-Hartmann; Ian Pratt-Hartmann; Heinrich Wansing. (Org.). Advances in Modal Logic. 1ed.London: King´s College Publications, 2005, v. 5, p. 231-248.
Pattinson, Dirk ; NALON, C. . Non-Iterative Modal Resolution. In: 12th International Joint Conference on Automated Reasoning, IJCAR 2024, 2024, Nancy, France. Proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, Part II. Cham: Springer Nature, 2024. v. 14740. p. 97-113.
HUSTADT, ULLRICH ; Papacchini, Fabio ; NALON, C. ; DIXON, Clare . Model Construction for Modal Clauses. In: 12th International Joint Conference on Automated Reasoning, IJCAR 2024, 2024, Nancy, France. Proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, Part II. Cham: Springer Nature, 2024. v. 14740. p. 3-23.
Bonacina, M. P. ; Fontaine, P. ; NALON, C. ; Schon, C. . The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23741). In: The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23741), 2024, Dagstuhl. The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23741). Dagstuhl Reports.. Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum für Informatik., 2024. v. 13. p. 130-150.
NALON, C. ; HUSTADT, U. ; Papacchini, Fabio ; DIXON, Clare . Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. In: 29th International Conference on Automated Deduction, 2023, Rome, Italy. Proceedings of the 29th International Conference on Automated Deduction. Cham: Springer, 2023. v. 14132. p. 382-400.
Pattinson, Dirk ; Olivetti, N. ; NALON, C. . Resolution Calculi for Non-normal Modal Logics. In: The 32nd International Conference on Automated Reasoning with Tableaux and Related Methods (TABLEAUX 2023), 2023, Prague. Proceedings of the 32nd Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2023, LNCS/LNAI. Cham: Springer, 2023. v. 14278. p. 322-341.
NALON, C. ; HUSTADT, U. ; Papacchini, Fabio ; DIXON, Clare . Local Reductions for the Modal Cube. In: 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022, Haifa/Israel. LNCS, Proceedings of the 11th International Joint Conference on Automated Reasoning (IJCAR 2022). Cham: Springer, 2022. v. 13385. p. 486-505.
ALKMIN, B. ; HAEUSLER, EDWARD HERMANN ; NALON, C. . A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. In: 35th International Workshop on Description Logics (DL 2022), 2022, Haifa. Proceedings of the 35th International Workshop on Description Logics (DL 2022). Aachen, Germany: CEUR Workshop Proceedings, 2022. v. 3263. p. 1-13.
SILVA, GUILHERME G. F. DA ; HAEUSLER, EDWARD HERMANN ; Nalon, Cláudia . Description of Command and Control Networks in Coq. In: WorkshopEscola de Informática Teórica, 2021, Brasil. Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021). Porto Alegre/RS: Sociedade Brasileira de Computação, 2021. p. 60-67.
Olaf Beyersdorff ; Uwe Egly ; Meena Mahajan ; Cláudia Nalon . SAT and Interactions (Dagstuhl Seminar 20061). In: SAT and Interactions (Dagstuhl Seminar 20061), 2020, Dagstuhl. Dagstuhl Reports. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, 2020. v. 10. p. 1-18.
HUSTADT, ULLRICH ; NALON, CLÁUDIA ; DIXON, Clare . Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. In: 6th Workshop on Practical Aspects of Automated Reasoning (PAAR 2018), 2018, Oxford, UK. Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR). Aachen: CEUR Workshop Proceedings, 2018. v. 2162. p. 34-48.
NALON, CLÁUDIA ; Pattinson, Dirk . A Resolution-Based Calculus for Preferential Logics. In: International Joint Conference on Automated Reasoning - IJCAR 2018, 2018, Oxford, UK. Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018, LNCS. Cham: Springer International Publishing, 2018. v. 10900. p. 498-515.
Nalon, Cláudia ; HUSTADT, ULLRICH ; DIXON, Clare . KSP: A Resolution-based Prover for Multimodal K, Abridged Report. In: TwentySixth International Joint Conference on Artificial Intelligence, 2017, Melbourne. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. p. 4919-4923.
NALON, C. ; PIMENTA, M. C. S. C. . Small Normal Form for Propositional Logic: Dynamic Programming Approach. In: 1ª Escola de Informática Teórica e Métodos Formais, 2016, Natal/RN. ETMF 2016. Porto Alegre/RS: Biblioteca do Instituto de Informática da UFRGS, 2016. v. 1. p. 1-10.
NALON, C. ; Kutz, O. . Towards Resolution-based Reasoning for Connected Logics. In: LSFA 2013 - 8th Workshop on Logical and Semantic Frameworks, with Applications, 2013, São Paulo, Brazil. Pre-Proceedings LSFA 2013 - 8th Workshop on Logical and Semantic Frameworks, with Applications. São Paulo: IME/USP, 2013. p. 36-51.
NALON, C. ; DIXON, Clare . Anti-Prenexing and Prenexing for Modal Logics. In: 10th European Conference, JELIA 2006, 2006, Liverpool - United Kingdom. Lecture Notes in Computer Science. Berlin Heidelberg: Springer, 2006. v. 4160. p. 333-345.
NALON, C. ; DIXON, Clare ; FISHER, Michael . Resolution for Synchrony and No Learning. In: International Conference on Advances in Modal Logic, 2004, Manchester, UK. UMCS-04-09-01: AiML-2004: Advances in Modal Logic. Manchester, UK: University of Manchester, 2004. p. 303-317.
DIXON, Clare ; NALON, C. ; FISHER, Michael . TABLEAUX FOR TEMPORAL LOGICS OF KNOWLEDGE: SYNCHRONOUS SYSTEMS OF PERFECT RECALL OR NO LEARNING. In: TIME - ICTL, 2003, Cairns, Queensland, Australia. Proceedings of TIME - ICTL 2003, 2003.
NALON, C. ; DIXON, Clare ; FISHER, Michael . Resolution for Synchrony and No Learning: Preliminary Report. In: International Workshop on Logic, Language, Information and Computation, 2001, Brasília, DF, Brazil. Proceedings of WOLLIC'2001. Brasília, DF, Brazil, 2001.
NALON, C. ; WAINER, Jacques . STRONG CONDITIONAL LOGIC. In: Brazilian Symposium on Artificial Intelligence, 1998, Porto Alegre, RS, Brazil. Advances in Artificial Intelligence, Lecture Notes in Computer Science. London: Springer-Verlag, 1998. v. 1515. p. 159-177.
NALON, C. ; WAINER, Jacques . CONSTRUCTING MODELS WITH GOOD PROPERTIES: PRELIMINARY RESULTS. In: International Conference of the Chilean Computer Society, 1996, Valdivia. Proceedings of the XVI International Conference of the Chilean Computer Society, 1996.
Amaral, Lucas ; Nalon, Cláudia . A resolution-based E-connected calculus. In: Encontro Brasileiro de Lógica, 2019, João Pessoa. 19th Brazilian Logic Conference. Campina Grande: Co-Editora UFCG ? EDUFCG, 2019. p. 77-77.
ANGELOS, D. ; Nalon, Cláudia . Combined Proof Methods for Multimodal Logic. In: Encontro Brasileiro de Lógica, 2019, João Pessoa. 19th Brazilian Logic Conference. Campina Grande: Co-Editora UFCG ? EDUFCG, 2019. p. 78-78.
Kury, Ricardo A. M. ; Nalon, Cláudia . Extensão de um provador automático de teoremas para lógicas confluentes. In: Encontro Brasileiro de Lógica, 2019, João Pessoa. 19th Brazilian Logic Conference. Campina Grande: Co-Editora UFCG ? EDUFCG, 2019. p. 138-138.
Nalon, Cláudia ; Leite, José M. . Implementação de um Tableaux para Lógica Modal Proposicional. In: Encontro Brasileiro de Lógica, 2019, João Pessoa. 19th Brazilian Logic Conference. Campina Grande: Co-Editora UFCG ? EDUFCG, 2019. p. 164-164.
Nalon, Cláudia ; Pattinson, Dirk . A Resolution-Based Calculus for Preferential Reasoning: Abstract. In: Encontro Brasileiro de Lógica, 2019, João Pessoa. 19th Brazilian Logic Conference. Campina Grande: Co-Editora UFCG ? EDUFCG, 2019. p. 165-166.
OLIVEIRA, F. R. ; Nalon, Cláudia . Verificação do Protocolo de Autorização Dinâmica usando o Método Indutivo. In: Encontro Brasileiro de Lógica, 2019, João Pessoa. 19th Brazilian Logic Conference. Campina Grande: Co-Editora UFCG ? EDUFCG, 2019. p. 173-173.
Nalon, Cláudia ; HUSTADT, ULLRICH ; DIXON, Clare . Separated Normal Form Transformation Revisited. In: Automated Reasoning Workshop, Bridging the Gap between Theory and Practice, 2019, Cambridge. Proceedings of the 25th Automated Reasoning Workshop, Bridging the Gap between Theory and Practice (ARW 2018). Cambridge, UK: Department of Computer Science, University of Cambridge, 2019. p. 6-7.
Papacchini, Fabio ; Nalon, Cláudia ; HUSTADT, ULLRICH ; DIXON, Clare . Extending the KSP Prover to More Expressive Modal Logics. In: Automated Reasoning Workshop, Bridging the Gap between Theory and Practice, 2018, Cambridge. Proceedings of the 25th Automated Reasoning Workshop, Bridging the Gap between Theory and Practice (ARW 2018). Cmabridge, UK: Department of Computer Science, University of Cambridge, 2018. p. 21-22.
ANGELOS, D. ; NALON, C. . Tableaux clausal para lógicas modais. In: XVIII Brazilian Logic Conference, 2017, Pirenópolis/GO. Book of Abstracts: XVIII EBL 2017. Campinas/SP: Sociedade Brasileira de Lógica, 2017. p. 70-70.
OLIVEIRA, F. R. ; NALON, C. . Verificação do protocolo de emparelhamento. In: XVIII Brazilian Logic Conference, 2017, Pirenópolis/GO. Book of Abstracts: XVIII EBL 2017. Campinas/SP: Sociedade Brasileira de Lógica, 2017. p. 77-77.
HUSTADT, U. ; GAINER, P. ; DIXON, Clare ; NALON, C. ; ZHANG, L. . CLProver++: An Ordered Resolution Prover for Coalition Logic. In: Automated Reasoning Workshop 2015 - Bridging the Gap between Theory and Practice - ARW 2015, 2015, Birmingham, UK. Proceedings of Automated Reasoning Workshop 2015 - Bridging the Gap between Theory and Practice - ARW 2015. Birmingham: University of Birmingham, 2015. p. 27-28.
NALON, C. ; Lopes, B. ; HAEUSLER, E. H. ; Gilles Dowek . A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. In: Encontro Brasileiro de Lógica, 2014, Petrópolis - RJ. Abstracts of the 17th Brazilian Logic Conference, 2014. p. 79-79.
NALON, C. ; SILVA, G. B. . A Resolution-Based Prover for Normal Modal Logics. In: arw-dt2014 ? Joint Automated Reasoning Workshop and Deduktionstreffen, 2014, Vienna. Joint Automated Reasoning Workshop and Deduktionstreffen, 2014. p. 28-29.
VIEIRA, T. C. ; NALON, C. . Verificação Epistêmico-Temporal via Tradução. In: WEIT 2013 - II WORKSHOP-ESCOLA DE INFORMÁTICA TEÓRICA, 2013, Rio Grande. Anais do II WEIT 2013. Porto Alegre: Ed. da Universidade Federal do Rio Grande ? FURG, 2013. p. 190-193.
NALON, C. . A Linear Strategy for Modal Resolution. In: Automated Reasoning Workshop, 2012, Manchester. Proceedings of the 19th Automated Reasoning Workshop. Manchester, UK: The University of Manchester, 2012. p. 5-6.
SILVA, A. Q. L. E. ; NALON, C. . Formal Verification using Epistemic Logic. In: XVI EBL - Encontro Brasileiro de Lógica, 2011, Petrópolis. Pre-Proceedings XVI Brazilian Logic Conference, 2011. p. 53-53.
VIEIRA, T. C. ; NALON, C. . Comparação entre Linguagens de Especificação de Protocolos. In: Workshop de Trabalhos de Iniciação Científica e de Graduação (WTICG), 2011, Brasília. WTICG 2011, 2011.
NALON, C. ; DIXON, Clare . Normal Modal Resolution: Preliminary Results. In: Brazilian Workshop on Logical and Semantic Frameworks, with Applications (LSFA'06), 2006, Natal, RN, Brazil. Proceedings of the Brazilian Workshop on Logical and Semantic Frameworks, with Application, 2006. p. 38-46.
NALON, C. . Normal Forms for Modal Logics. In: Workshop on Automated Reasoning, 2006, Bristol, UK. Proceedings of the Thirteenth Workshop on Automated Reasoning, 2006. p. 19-20.
NALON, C. ; DIXON, Clare ; FISHER, Michael . RESOLUTION FOR TEMPORAL LOGICS OF KNOWLEDGE WITH INTERACTIONS. In: WORKSHOP ON AUTOMATED REASONING, 2002, LONDON. Ninth Workshop on Automated Reasoning - ARW 2002. London - UK, 2002.
NALON, C. . THEOREM-PROVING FOR SYNCHRONOUS SYSTEMS WITH NO LEARNING. In: WORKSHOP ON AUTOMATED REASONING, 2001, York, UK. Eight Workshop on Automated Reasoning - ARW 2001. YORK, UK, 2001.
NALON, C. . THEOREM-PROVING FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF. In: WORKSHOP ON AUTOMATED REASONING, 2000, London, UK. Seventh Workshop on Automated Reasoning - ARW'2000. London - UK, 2000.
NALON, C. ; WAINER, Jacques . CONSTRUÇÃO DE MODELOS CONDICIONAIS COM BOAS PROPRIEDADES. In: Encontro Nacional de Inteligência Artificial (ENIA), 1997, Brasília, DF, Brazil. I Encontro Nacional de Inteligëncia Artificial, 1997.
NALON, C. . Modal Logics: an Overview, parts 1 and 2, Dagstuhl Seminar. 2020. (Apresentação de Trabalho/Conferência ou palestra).
NALON, CLÁUDIA . Machine-Oriented Reasoning, invited tutorial, CADE-27. 2019. (Apresentação de Trabalho/Outra).
NALON, C. . Theorem-Proving for Modal Logics, Algebra, Logic, and Algorithms Seminar, U. Leeds. 2018. (Apresentação de Trabalho/Seminário).
NALON, C. . Theorem-Proving for Modal Logics, Verification Group Meeting, U. Liverpool. 2018. (Apresentação de Trabalho/Seminário).
NALON, CLÁUDIA . Theorem-Proving for Modal Logics, Computer Science Seminar, Middlesex University London. 2018. (Apresentação de Trabalho/Seminário).
NALON, CLÁUDIA . Modal Reasoning Through Resolution, Automated Reasoning Club, U. Manchester. 2018. (Apresentação de Trabalho/Seminário).
NALON, CLÁUDIA . Theorem-Proving for Modal Logics, CIC, UnB. 2018. (Apresentação de Trabalho/Seminário).
NALON, CLÁUDIA . A Resolution-Based Calculus for Preferential Logics, MAT/UnB. 2018. (Apresentação de Trabalho/Seminário).
NALON, CLÁUDIA . Modal Reasoning Through Resolution, Researchers? Seminar of the Theory and Logic Group, TU Wien. 2018. (Apresentação de Trabalho/Seminário).
NALON, CLÁUDIA . Preferential Logic A Modal Logic for Counterfactual Reasoning, Doctoral College Workshop, TU Wien. 2018. (Apresentação de Trabalho/Conferência ou palestra).
NALON, CLÁUDIA . Modal Reasoning through Resolution, Tutorial, SSL, ANU. 2017. (Apresentação de Trabalho/Outra).
NALON, C. . Polluted Resolution and other Combined Proof Search Methods for Propositional Modal Logics. 2016. (Apresentação de Trabalho/Seminário).
NALON, C. ; HUSTADT, U. ; DIXON, Clare . A Modal-Layered Resolution Calculus for K. 2015. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. ; ZHANG, LAN ; DIXON, Clare ; HUSTADT, ULLRICH . A Resolution Prover for Coalition Logic. 2014. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. ; João Marcos ; DIXON, Clare . Clausal Resolution for Modal Logics of Confluence. 2014. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. ; SILVA, G. B. . A Resolution-Based Prover for Normal Modal Logics. 2014. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. ; Kutz, O. . Towards Resolution-based Reasoning for Connected Logics. 2013. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. ; ZHANG, LAN ; DIXON, Clare ; HUSTADT, ULLRICH . A resolution-based calculus for Coalition Logic. 2013. (Apresentação de Trabalho/Seminário).
NALON, C. ; ZHANG, LAN ; DIXON, Clare ; HUSTADT, ULLRICH . Resolução para Lógicas de Coalizão. 2013. (Apresentação de Trabalho/Seminário).
NALON, C. . Resolução para Lógicas Modais Normais. 2013. (Apresentação de Trabalho/Seminário).
NALON, C. . A Linear Strategy for Modal Resolution. 2012. (Apresentação de Trabalho/Congresso).
NALON, C. . Lógica e Computação. 2009. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. . Resolution for Normal Modal Logics. 2009. (Apresentação de Trabalho/Seminário).
NALON, C. . Resolution for Normal Modal Logics. 2009. (Apresentação de Trabalho/Seminário).
NALON, C. . Verificação Formal e Lógicas. 2009. (Apresentação de Trabalho/Seminário).
NALON, C. . Lógica e Computação. 2008. (Apresentação de Trabalho/Conferência ou palestra).
NALON, C. . Lógica Computacional: Verificação com Lógicas Temporais. 2006. (Apresentação de Trabalho/Seminário).
NALON, C. . Prova Automática de Teoremas para Lógicas Modais. 2006. (Apresentação de Trabalho/Seminário).
NALON, C. . Normal Forms for Modal Logics. 2006. (Apresentação de Trabalho/Seminário).
NALON, C. ; Reis, Giselle . Preface. Amsterdam, 2020. (Prefácio, Pósfacio/Prefácio)>.
NALON, C. ; João Marcos ; DIXON, Clare . Clausal Resolution for Modal Logics of Confluence - Extended Version. Liverpool, UK: University of Liverpool, 2014 (Technical Report).
NALON, C. ; ZHANG, L. ; DIXON, Clare ; HUSTADT, U. . A resolution-based calculus for Coalition Logic (Extended Version). Liverpoolr: University of Liverpool, 2013 (Technical Report).
NALON, C. ; DIXON, Clare . Anti-Prenexing and Prenexing for Modal Logics (Extended Version). Liverpool, UK: Department of Computer Science, University of Liverpool, 2006 (Technical Report).

Outras produções

NALON, CLÁUDIA . ltl2snf. 2018.

NALON, C. . KSP. 2015.

NALON, C. . CLProver: A Theorem-Prover for Coalition Logic. 2013.

NALON, C. ; DIXON, Clare . Synchronous Systems with No Learning. 2003.

NALON, C. . PC Member - WoLLIC 2024. 2024. (Participação em Comitê de Programa).

NALON, C. . PC Member - IJCAR 2024. 2024. (Participação em Comitê de Programa).

NALON, C. . PC Member - CICM 2024. 2024. (Participação em Comitê de Programa).

NALON, C. . PC Member - IWIL 2024. 2024. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - LSFA 2024. 2024. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Chair - PAAR 2024. 2024. (Participação em Comitê de Programa).

NALON, C. . PhD Award Committee Member - Bill McCune 2024. 2024. (Participação em Comitê Julgador).

NALON, C. . PC Member - WBL 2024. 2024. (Participação em Comitê de Programa).

NALON, C. . PC member - IJCAI 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PC member - ITP 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PC member - WiL 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PC member - WoLLIC 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PC member - WBL 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PC member - TABLEAUX 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PhD Award Committee Chair - Bill McCune 2023. 2023. (Participação em Comitê Julgador).

NALON, C. . PC Member - ADG 2023. 2023. (Participação em Comitê de Programa).

NALON, C. . PC Member - IJCAR 2022. 2022. (Participação em Comitê de Programa).

NALON, C. . PC Member - ITP 2022. 2022. (Participação em Comitê de Programa).

NALON, C. . PC Member - IJCAI-ECAI 2022. 2022. (Participação em Comitê de Programa).

NALON, C. . PC Member - PAAR 2022. 2022. (Participação em Comitê de Programa).

NALON, C. . PC Co-Chair - WBL 2022 - III Workshop Brasileiro de Lógica. 2022. (Participação em Comitê de Programa).

NALON, C. . PhD Award Committee Chair - Bill McCune 2022. 2022. (Participação em Comitê Julgador).

NALON, CLÁUDIA . PC Member - WoLLIC 2020/2021. 2021. (Participação em Comitê de Programa).

NALON, C. . PC Member - ITP 2021. 2021. (Participação em Comitê de Programa).

NALON, C. . PC Member - CADE-28. 2021. (Participação em Comitê de Programa).

NALON, C. . PC Member - TABLEAUX 2021. 2021. (Participação em Comitê de Programa).

NALON, C. . PC Member - IJCAI 2021. 2021. (Participação em Comitê de Programa).

NALON, C. . PC Member - WBL 2021 - II Workshop Brasileiro de Lógica. 2021. (Participação em Comitê de Programa).

NALON, C. . PhD Award Committee Member - Bill McCune 2021. 2021. (Participação em Comitê Julgador).

NALON, C. . PhD Award Committee Member - Bill McCune 2020. 2021. (Participação em Comitê Julgador).

NALON, CLÁUDIA . PC Member - AiML 2020. 2020. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Co-Chair - LSFA 2020. 2020. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - IJCAI 2020. 2020. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - IJCAR 2020. 2020. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - KR 2020. 2020. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - PAAR 2020. 2020. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - TIME 2020. 2020. (Participação em Comitê de Programa).

NALON, C. . PC Member - WBL 2020. 2020. (Participação em Comitê de Programa).

NALON, C. . PC MEMBER - EBL 2021. 2020. (Participação em Comitê de Programa).

NALON, C. . PhD Award Committee Member - Bill McCune 2020. 2020. (Participação em Comitê Julgador).

NALON, CLÁUDIA . PC Member - EBL 2019. 2019. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - CADE 27. 2019. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - FroCoS 2019. 2019. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - IJCAI 2019. 2019. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - TABLEAUX 2019. 2019. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - KR 2018. 2018. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - PAAR 2018. 2018. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - LSFA 2018. 2018. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - Wollic 2018. 2018. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - IJCAR 2018. 2018. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - FSCD 2018. 2018. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - TIME 2017. 2017. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Co-Chair - TABLEAUX 2017. 2017. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - FroCoS 2017. 2017. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - WEITC 2017. 2017. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - M4M9. 2017. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - ETMF 2016. 2016. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - 29th CTD, SBC. 2016. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - Fórum Meninas Digitais. 2016. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - LSFA 2016. 2016. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - KR 2016. 2016. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - TABLEAUX 2015. 2015. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC Member - 26th CTD, SBC. 2013. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - LSFA 2011. 2011. (Participação em Comitê de Programa).

NALON, CLÁUDIA . PC member - LSFA 2010. 2010. (Participação em Comitê de Programa).

Projetos de pesquisa

2022 - Atual

Projeto Universal CNPq (processo 409003/2021-2) Terminação e Estruturas Algébricas em Computação, Descrição: O objetivo principal é a exploração da aplicabilidade de diversos arcabouços formais, como a teoria de reescrita, a teoria de tipos, a teoria de prova e as estruturas algébricas, no desenvolvimento de sistemas computacionais e dedutivos e na implementação de soluções algorítmicas provadas corretas e eficientes.Sem negligenciar as aplicações, um elemento central de análise é otratamento de mecanismos dedutivos equacionais e algébricos para sistemas de raciocínio computacional via formalização de estruturas algébricas e suas propriedades, além da aplicação de técnicas das áreas de lógica, sintaxe e semântica nominal. Com esses arcabouços formais, a pesquisa realizada aproxima a teoria da prática computacional, sendo assim de grande importância e atualidade para fornecer novas técnicas para a implementação e desenho de ferramentas inovadoras de especificação (linguagens de programação e de computação simbólica, que permitem, por exemplo, implementar métodos de computação numérica) e dedução (associadas à automação do raciocínio e de processos de inferência via assistentes de provas, cerne de aplicações em Inteligência Artificial via programação lógica) que dão suporte ao desenvolvimento formal de sistemas computacionais robustos e matematicamente provados corretos.O projeto envolve cooperação com pesquisadores de AMA/NASA LaRC, King's College London, Johannes Kepler University Linz, através de implementação de visitas à UnB e co-orientações de mestrado e doutorado.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (6) . , Integrantes: Cláudia Nalon - Integrante / Mauricio Ayala-Rincón - Coordenador / Flávio Leonardo Cavalcanti de Moura - Integrante / Andréia Borges Avelar - Integrante / Daniele Nantes Sobrinho - Integrante / Ariane Alves Almeida - Integrante / André Luiz Galdino - Integrante / Thaynara Arielly de Lima - Integrante / Thiago Mendoça Ferreira Ramos - Integrante / Gabriel Ferreira Silva - Integrante / Mehwish Arshid - Integrante / Andrés Felipe González Barragán - Integrante / Ali Khãn Caires Ribeiro Santos - Integrante / Nikson Bernardes Fernandes Ferreira - Integrante.
2021 - Atual

FINEP 2904/20 - Sistema de Sistemas de Comando e Controle (S2C2), Descrição: No âmbito da Defesa, a complexidade crescente dos ambientes operacionais vem demonstrando que a sinergia entre as Forças Armadas é indispensável. Em situações de emergência e de crise interna, a colaboração se estende às instituições de segurança pública e de defesa civil. Nesse contexto, a interoperabilidade entre sistemas de comando e controle de diversas entidades é crucial para o sucesso da missão. Focando especificamente na Força Terrestre, a interoperabilidade entre seus próprios sistemas já representa um grande desafio. Observando a necessidade de endereçar esse desafio, esse projeto trata do desenvolvimento de um Sistema de Sistemas de Comando e Controle (S2C2) para atender às demandas de interoperabilidade do Família de Aplicativos de Comando e Controle da Força Terrestre (FAC2FTer). Para isso, o projeto propõe um estudo focado em interoperabilidade sistemas abertos, distribuídos e dinâmicos para emprego no ambiente de comando e controle no domínio de defesa. Nesse contexto serão abordados aspectos de modelagem de sistemas de sistemas de comando e controle, verificação formal de propriedades de sistemas de sistemas de comando e controle, simulação em rede de sistemas de comando e controle com suporte de inteligência artificial com o objetivo do desenvolvimento de um sistema de sistemas de comando e controle para o Exército Brasileiro.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (12) / Doutorado: (6) . , Integrantes: Cláudia Nalon - Integrante / Edward Hermann Haeusler - Integrante / Thiago Mael de Castro - Integrante / Pattinson, Dirk - Integrante / Ricardo Queiroz de Araujo Fernandes - Coordenador / Edison Pignaton de Freitas - Integrante / Dante Augusto Couto Barone - Integrante / Maria Luiza Machado Campos - Integrante / David Fernandes Cruz Moura - Integrante / Maria Cláudia Reis Cavalcanti - Integrante / Keli de Faria Cordeiro - Integrante / Gisele Rabelo Lopes - Integrante / Anderson Fernandes Ferreira dos Santos - Integrante / Marcus Albert Alves da Silva - Integrante / Juliano Araújo Wickboldt - Integrante / Ariane Alves Almeida - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Cooperação.
2019 - Atual

CAPES PrInt PPG Informática UnB, Descrição: Projeto CAPES PrInt do PPG em Informática da Universidade de Brasília. Neste projeto, coordeno a cooperação em técnicas de automação da terminação com participação do pesquisador Mariano Miguel Moscato (AMA/NASA LaRC Formal Methods), e em compressão gramatical com Gonzalo Navarro (Universidade de Chile), com participação de alunos de mestrado e doutorado do PPG em Informática da UnB. O projeto inclui co-supervisão destes dois pesquisadores de alunos de doutorado e mestrado, assim como implementação de visitas à UnB... , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Cláudia Nalon - Coordenador / Maria Emília Walter - Integrante / Mauricio Ayala-Rincón - Integrante / Alba Cristina Magalhaes Alves de Melo - Integrante / André Costa Drummond - Integrante / Thiago Mendoça Ferreira Ramos - Integrante / Gabriel Ferreira Silva - Integrante / Daniel Saad Nogueira Nunes - Integrante / Mariano Moscato - Integrante / Gonzalo Navarro - Integrante / Bruno Luiggi Macchiavello Espinoza - Integrante / Teofilo Emidio de Campos - Integrante.
2014 - 2017

CNPq 441952/2014-3 Verificação de modelos de software com Lógica Dinâmica e Redes de Petri, Descrição: Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se aplicações de extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri Estocásticas de forma a efetuar a verificação formal de propriedades em software. O objetivo é converter automaticamente especificações UML em Redes de Petri Estocásticas para efetuar inferências e certificar propriedades.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Cláudia Nalon - Integrante / Edward Hermann Haeusler - Integrante / Gilles Dowek - Integrante / Bruno Lopes - Coordenador / Alexandre Rademaker - Integrante / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Luiz Carlos Pereira - Integrante / Vaston Gonçalves da Costa - Integrante / Cecilia Englander - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Valeria de Paiva - Integrante / Christiano de Oliveira Braga - Integrante / Jean-Baptiste Joinet - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2016

CAPES 4804-14-7 Logic and Information, Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 28/07/2016., Descrição: This project aims to propose an improvement on a long-term already existing collaboration between INRIA, the brazilians and the argentin named team. We already have a CAPES-COFECUB cooperation (n. 690/10, namely ``Teorias lógicas contemporâneas e a filosofia da linguagem: questões epistemológicas e semânticas'') that leaded to many students interchange and technical visits of Professors, including the organisation of some workshops (the last one was the II Workshop on Logic and Semantics, at UERJ, Ilha Grande-RJ, Brazil - http://www.tecmf.inf.puc-rio.br/LogicSemanticsII). Prof. Gilles Dowek is also a Co-Advisor with Prof. Edward Hermann Haeusler of a brazilian Ph.D. Candidate in this project (and a former one also in this project, these two candidates finalised recently a sandwich doctorate - similar to stage doctorale - at INRIA). Prof. Gilles Dowek also collaborates with other members of this team and is supervising a post-doc project of another member. Since 2011 members of the team presents seminars in the Deducteam group, also coordinated by Prof. Gilles Dowek (more information in http://www.cri.ensmp.fr/people/hermant/deducteam/seminars.html), and since 2009 for the former group of Prof. Gilles Dowek at Laboratoire d'Informatique de l'École polytechnique (LIX). Among our collaboration we propose the development of some subprojects as specific goals. We propose the continuation of an ongoing joint work to propose a resolution based system for automatic theorem proving in some modal logics. The project also presents a subproject for reasoning about model-driven engineering discipline models defining a metamodel (the description of the syntax of a modeling language). Another subproject proposes two tasks regarding information extraction using logical background. The first one regards how to extract, process and interoperate data and the last one uses counterfactuals to reason about the future. It is important to notice that the results of the subprojects are interchangeable. More specifically we proposes a joint research with Deducteam about proof-compression, and developments in about verifying properties and extracting data about programs properties.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Cláudia Nalon - Integrante / Edward Hermann Haeusler - Coordenador / Gilles Dowek - Integrante / Bruno Lopes - Integrante / Alexandre Rademaker - Integrante / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Luiz Carlos Pereira - Integrante / Vaston Gonçalves da Costa - Integrante / Cecilia Englander - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Christiano de Oliveira Braga - Integrante / Wagner de Campos Sanz - Integrante / Madalina Croitoru - Integrante / Santiago Figuera - Integrante / José Castaño - Integrante / Alejandro Petrovich - Integrante / Ricardo Oscar Rodrigues - Integrante / Hugo Daniel dos Santos Macedo - Integrante / Jean-Baptiste Joinet - Integrante., Financiador(es): Institut National de Recherche en Informatique et en Automatique - Siège - Auxílio financeiro / Ministerio de Ciencia, Tecnología e Innovación Productiva - Auxílio financeiro / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.
2010 - 2012

projeto UNIVERSAL 481783/2010-5: Substituições Explícitas, Terminação, Formalização de Sistemas e Aplicações Computacionais, Descrição: Dois são os objetos centrais da pesquisa proposta: implementação explícita da substituição e automatização da propriedade de terminação. A primeira, uma operação básica em ambientes de programação e dedução computacionais e a segunda, uma propriedade bem conhecida indecidível, mas com critérios de terminação bem estudados por décadas, de forma que permite a sua automação em linguagens de programação e assistentes de prova. O objetivo quanto aos cálculos de substituições explícitas não se limita à formalização utilizando apenas papel e lápis, mas engloba a especificação e verificação formal de propriedades computacionais relevantes destes cálculos em assistentes de prova como o Coq, PVS e Isabelle/HOL. Quanto à automação da terminação pretende-se construir uma "teoria" (livraria) na linguagem do assistente de prova PVS para o tratamento da propriedade de terminação. Essa "teoria" incluirá critérios matemáticos para verificação de terminação de sistemas especificados via regras de reescrita de termos e desenvolverá estratégias de redução-módulo teorias entre as quais destacamos teorias equacionais associativas comutativas. Mecanismos para o tratamento da dedução módulo esse tipo de teorias equacionais são relevantes para o manuseio algébrico eficiente de especificações em geral. A base para essa teoria será a metodologia de grafos de contextos de dependência desenvolvida por Manolios e implementada com sucesso no assistente de demonstração ACL2.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (2) . , Integrantes: Cláudia Nalon - Integrante / Mauricio Ayala-Rincón - Coordenador / Flávio Leonardo Cavalcanti de Moura - Integrante / Daniel Lima Ventura - Integrante / Andréia Borges Avelar - Integrante / Daniele Nantes Sobrinho - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2008 - 2010

FAPDF 8-004/2007, Verificação Formal de Protocolos de Comunicação com Aplicações em Criptografia, Descrição: Abordam-se sistemas computacionais corretos e seguros que especificam propriedades fundamentais de protocolos criptográficos via o assistente de prova PVS... , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Cláudia Nalon - Integrante / Mauricio Ayala-Rincón - Coordenador / Alba Cristina Magalhaes Alves de Melo - Integrante / Guilherme Albuquerque Pinto - Integrante., Financiador(es): Fundação de Apoio à Pesquisa do Distrito Federal - Auxílio financeiro.
2005 - 2007

CT-INFO 506598/04-7: Simulação Algorítmica, Semântica e Aplicações da Computação, Descrição: Desenvolvimento de aplicativos para simulação algorítmica da produção de fala e semântica e aplicações da computação. Para o último desenvolvem-se extensões do sistema SUBSEXLP nas quais combinações da beta-contração são admitidas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Cláudia Nalon - Integrante / Mauricio Ayala-Rincón - Coordenador / Jorge C. Lucero - Integrante., Financiador(es): Não informado / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 7
2005 - 2007

UNIVERSAL 471791/2004-0: Teoria Semântica, Lógica e Aplicações da Computação, Descrição: Cálculos de substituições explícitas são sistemas de reescrita de ordem superior ou variações do lambda cálculo, onde a operação de substituição é definida explicitamente. Estes cálculos ficam muito próximos das implementações de sistemas que suportam representações de ordem superior de objetos como programas e provas. As propriedades desejáveis dos cálculos de substituições explícitas estão relacionadas com a simulação do próprio lambda cálculo e com aquelas dos sistemas de reescrita e estão ligadas a conceitos computacionais como o determinismo ou unicidade das respostas (confluência), efetividade dos processos algorítmicos (terminação), etc. Mas até o momento não se tem desenvolvido um cálculo de substituições explícitas completamente satisfatório: tais propriedades estão interligadas e ao ser forçada a satisfação de alguma, outra(s) deixa(m) de valer. O objetivo principal deste projeto é a exploração da aplicabilidade dos destes cálculos na implementação de assistentes de prova e de linguagens de programação. Serão desenvolvidos mecanismos para abordar eficientemente problemas como a unificação de ordem superior, baseados em métodos formulados sobre os cálculos de substituições explícitas. Para isto comparam-se diversos cálculos de substituições explícitas determinando quais são mais adequados para cada problema. Os principais problemas a serem analisados são aqueles relacionados com unificação de ordem superior, com ênfase nos redutos onde se tem decidibilidade. A saber, os padrões de ordem superior e matching de ordens 2, 3 e 4. Adicionalmente, é nosso intuito aprimorar os mecanismos existentes em um provador de teoremas para lógicas cujos modelos são domínios não-decrescentes. Embora existam vários provadores para lógicas de ordem superior, há um crescente interesse em provadores específicos para lógicas modais, tais como as temporais e epistêmicas, já que estas linguagens expressam, de modo natural, problemas computacionais complexos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (2) . , Integrantes: Cláudia Nalon - Integrante / Mauricio Ayala-Rincón - Coordenador / Alba Cristina Magalhaes Alves de Melo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 11

Prêmios

1998

TERCEIRO LUGAR (CATEGORIA MESTRADO) - I CONCURSO DE TESES E DISSERTAÇÕES EM INTELIGÊNCIA ARTIFICIAL, IBERAMIA'98 - VI CONFERÊNCIA ÍBERO-AMERICANA DE INTELIGÊNCIA ARTIFICIAL.

Histórico profissional

Endereço profissional

Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Campus Universitário, Asa Norte, 70910090 - Brasília, DF - Brasil - Caixa-postal: 4466, Telefone: (61) 33072703, Ramal: 237, Fax: (61) 32733589, URL da Homepage:

Experiência profissional

2021 - Atual

Centro de Desenvolvimento de Sistemas - Exército Brasileiro

Vínculo: Cooperação Projeto de Pesquisa, Enquadramento Funcional: Coordenadora Local / Bolsista, Carga horária: 6

Outras informações:
Coordenadora, no âmbito da UnB, do projeto de pesquisa "FINEP 2904/20 - Sistemas de Sistemas de Comando e Controle", financiado pela FINEP, executado pela FAPEB, em cooperação entre o Exército Brasileiro, a Universidade de Brasília, o Instituto Militar de Engenharia e a Universidade Federal do Rio Grande do Sul.

2015 - Atual

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Projeto de Pesquisa, Enquadramento Funcional: Integrante

Outras informações:
Participação no grupo de pesquisa: TecMF - Logical Reasoning, PUC Rio

2014 - 2016

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio

Vínculo: Integrante, Enquadramento Funcional: Integrante de projeto de pesquisa, Carga horária: 2

Outras informações:
2014 - 2016 CAPES 4804-14-7 Logic and Information

2014 - 2017

Universidade Federal Fluminense

Vínculo: Projeto de Pesquisa, Enquadramento Funcional: Integrante

Outras informações:
CNPq 441952/2014-3

2012 - 2013

University Of Liverpool

Vínculo: Professor Visitante, Enquadramento Funcional: Honorary Visitor, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
BEX 8712/11-5.

2001 - 2003

University Of Liverpool

Vínculo: Temporário, Enquadramento Funcional: Teaching Assistent, Carga horária: 3

Atividades

01/2001 - 10/2003
Ensino, Computer Science, Nível: Pós-Graduação,Disciplinas ministradas, Introduction to Computer Systems
01/2001 - 04/2001
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Algorithmic Foundations

1999 - 2001

Manchester Metropolitan University

Vínculo: Temporário, Enquadramento Funcional: Outro (especifique)Teaching Assistent, Carga horária: 3

Atividades

10/1999 - 01/2001
Ensino, Computer Science, Nível: Graduação,Disciplinas ministradas, COMPUTING MATHEMATICS

2022 - Atual

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Professor titular, Carga horária: 40, Regime: Dedicação exclusiva.

2014 - 2022

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado, Carga horária: 40, Regime: Dedicação exclusiva.

2004 - 2013

Universidade de Brasília, UnB

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

1998 - 1999

Universidade de Brasília, UnB

Vínculo: Outro, Enquadramento Funcional: PROFESSOR SUBSTITUTO, Carga horária: 40

1993 - 1994

Universidade de Brasília, UnB

Vínculo: BOLSISTA, Enquadramento Funcional: ESTUDANTE, Carga horária: 0, Regime: Dedicação exclusiva.

Outras informações:
PROJETO: RECONHECIMENTO DE FONEMAS OCLUSIVOS-SURDOS DA LÍNGUA PORTUGUESA UTILIZANDO REDES NEURAIS AUTO-ORGANIZÁVEIS ORIENTADORES: MARIA EMÍLIA MACHADO TELLES WALTER

Atividades

03/2017
Conselhos, Comissões e Consultoria, Reitoria, Decanato de Pesquisa e Pós-Graduação.,Cargo ou função, Ato DO(A) Diretoria de Fomento à Iniciação Científica (DIRIC) nº 1/2019, Comitê Institucional Gestor do Programa de Iniciação Científica.
08/2004
Pesquisa e desenvolvimento, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
03/2023 - 07/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0250 - TRABALHO DE GRADUAÇÃO 2
03/2023 - 07/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0263 - ESTUDOS EM SISTEMAS DE INFORMAÇÃO
10/2022 - 02/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0249 - TRABALHO DE GRADUAÇÃO 1
10/2022 - 02/2023
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0250 - TRABALHO DE GRADUAÇÃO 2
06/2022 - 09/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0182 - LÓGICA COMPUTACIONAL 1
06/2022 - 09/2022
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, PPGI0084 - TEORIA DA COMPUTAÇÃO
06/2022 - 09/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0261 - ESTUDOS EM INTELIGÊNCIA ARTIFICIAL
06/2022 - 09/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0262 - ESTUDOS EM SISTEMAS DE COMPUTAÇÃO
06/2022 - 09/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0249 - TRABALHO DE GRADUAÇÃO 1
11/2021 - 05/2022
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0182 - LÓGICA COMPUTACIONAL 1, CIC0134 - PROGRAMACAO EM LOGICA
07/2021 - 11/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0183 - LÓGICA COMPUTACIONAL 2, CIC0106 - TRADUTORES, CIC0167 - TRABALHO DE GRADUAÇÃO 2
06/2021 - 09/2021
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente da Comissão de Seleção do Programa de Pós-Graduação - Ato do Programa de Pós-Graduação em Informática nº 3/2021.
02/2021 - 06/2021
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente da Comissão de Seleçao - Ato DO(A) Programa de Pós-Graduação em Informática nº 2/2021.
02/2021 - 05/2021
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, CIC0166 	TRABALHO DE GRADUAÇÃO 1, CIC0106 TRADUTORES, CIC0136 ESTUDOS EM INTELIGENCIA ARTIFICIAL
02/2021 - 05/2021
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, 316393 PROJETO E COMPLEXIDADE DE ALGORITMOS
09/2020 - 02/2021
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente da Comissão de Seleção para a Pós-Graduação - ATO DO(A) PROGRAMA DE PÓS-GRADUAÇÃO EM INFORMÁTICA Nº 1/2020.
03/2020 - 12/2020
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Inteligência Artificial, Trabalho de Graduação 1, Tradutores
03/2020 - 12/2020
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Projeto de Licenciatura 2
03/2020 - 12/2020
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação
10/2019 - 12/2019
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão de Seleção da Pós-Graduação - Presidente - ATO DO(A) SECRETARIA ADMINISTRATIVA DO DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO No 015/2019.
08/2019 - 12/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos Teóricos da Computação, Tradutores
08/2019 - 12/2019
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Projeto de Licenciatura 2
06/2019 - 07/2019
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Membro de Comissão de Avaliação de Estágio Probatóirio - Resolução do INSTITUTO DE CIÊNCIAS EXATAS Nº 014/2018.
04/2019 - 07/2019
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão de Seleção do Programa de Pós-Graduação em Informática - ATO DA COORDENAÇÃO DO PROGRAMA DE PÓS-GRADUAÇÃO 002/2019.
03/2019 - 07/2019
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos Teóricos da Computação
03/2019 - 07/2019
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Sistemas de Informação
03/2019 - 07/2019
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Estudos em Inteligência Artificial
03/2019 - 07/2019
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Teoria da Computação
09/2018 - 07/2019
Conselhos, Comissões e Consultoria, Reitoria.,Cargo ou função, Ato da Reitoria N. 1297/2018, presidente (por substituição) da Comissão de Processo Administrativo Disciplinar, designada pelo Ato da Reitoria n. 1225/2018, referente ao processo n. 23106.037524/2016-49.
08/2018 - 12/2018
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 113450	FUNDAMENTOS TEÓRICOS DA COMPUTAÇÃO, 116661	ESTUDOS EM INTELIGENCIA ARTIFICIAL
08/2018 - 12/2018
Ensino, Computação, Nível: Graduação,Disciplinas ministradas, 116891	PROJETO DE LICENCIATURA 1
08/2018 - 12/2018
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, 316601	LÓGICA FORMAL E COMPUTACIONAL
01/2018 - 07/2018
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Estágio Docência - Felipe Rodopoulos de Oliveira
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 116475 - Trabalho de Graduação
03/2017 - 07/2017
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, 117366 - Lógica Computacional 1
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 116475 - Trabalho de Graduação, 116661 - Estudos em Inteligência Artificial, 116734 - Estudos em Sistemas de Informação
03/2017 - 07/2017
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, 316393 - Projeto e Complexidade de Algoritmos
08/2016 - 01/2017
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, 117366 - Lógica Computacional 1
08/2016 - 01/2017
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 116459 -Tradutores, 116921 - Trabalho de Graduação 2
08/2016 - 01/2017
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, 207322 - Projeto Final em Engenharia de Computação 1
03/2016 - 07/2016
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, 117366 - Lógica Computacional 1
03/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 116475 - Trabalho de Graduação, 116661 - Estudos em Inteligência Artificial, 116734 - Estudos em Sistemas de Informação, 116921 - Trabalho de Graduação 2
03/2016 - 07/2016
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, 316296 - Teoria da Computação
08/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, 116459 - Tradutores, 116629 - Estudos em Sistemas de Computação
08/2015 - 12/2015
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, 117366 - Lógica Computacional 1
08/2015 - 12/2015
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, 316334 - Estágio de Docência no Ensino de Graduação em Ciência da Computação, - José Luis Soncco Alvarez
03/2015 - 07/2015
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Estágio Docência - Deborah Mendes Ferreira, Teoria da Computação
03/2015 - 07/2015
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tradutores
03/2015 - 07/2015
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1
11/2014 - 12/2014
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão de Seleção - Pós-Graduação - membro efetivo - ATO PPGINF 21/11/2014.
08/2014 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tradutores
08/2014 - 12/2014
Ensino, Engenharia de Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Sistemas de Computação
08/2014 - 12/2014
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Estágio de Docência no Ensino de Graduação em Ciência da Computação, - Luciano Henrique de Oliveira Santos, - Thiago Coelho Vieira
08/2014 - 12/2014
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1
03/2014 - 07/2014
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1
03/2014 - 07/2014
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tradutores
08/2013 - 12/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Sistemas de Informação, Lógica Computacional 1, Trabalho de Graduação 2, Tradutores
06/2013 - 07/2013
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Comissão para Avaliação de Progressão Funcional - Resolução IE 07/2013 de 11/06/2013 - Presidente.
04/2013 - 07/2013
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tradutores, Lógica Computacional 1
08/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Autômatos e Computabilidade, Lógica Computacional 2, Tópicos Avançados em Computadores, Trabalho de Graduação 2
04/2010 - 12/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão de Reformulação do Plano Político-Pedagógico do Bacharelado em Ciência da Computação - Presidente - Ato CIC 04/2010.
10/2011 - 11/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Comissão de Avaliação - Estágio Probatório - Presidente - Ato IE 055/2011..
09/2010 - 10/2011
Conselhos, Comissões e Consultoria, Reitoria.,Cargo ou função, Membro - Comissão Geral de Elaboração do Plano Político-Pedagógico Institucional (indicação DEX) - ATO REITORIA 2106-A/2010.
06/2011 - 08/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Membro - Comissão de Reposicionamento no Quadro - ATO IE 026/2011.
03/2011 - 07/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos Especiais em Lógica Computacional, Lógica Computacional 2, Trabalho de Graduação 2, Autômatos e Computabilidade, Estudos em Inteligência Artificial
01/2011 - 06/2011
Conselhos, Comissões e Consultoria, Reitoria, Decanato de Extensão.,Cargo ou função, Membro - Comissão de Organização do Seminário de Extensão - ATO DEX 01/2011.
10/2010 - 06/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro - Comissão de Graduação - Representante da área de Teoria da Computação - Ato CIC 006/2011.
05/2009 - 05/2011
Conselhos, Comissões e Consultoria, Conselho de Ensino, Pesquisa e Extensão, Câmara da Carreira Docente.,Cargo ou função, Suplente - Representante do IE na CCD - Resolução CEPE nº 400/2009.
08/2008 - 05/2011
Direção e administração, Instituto de Ciências Exatas.,Cargo ou função, Coordenadora de Extensão.
08/2008 - 05/2011
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Membro Convidado do Conselho de Instituto.
08/2008 - 05/2011
Conselhos, Comissões e Consultoria, Conselho de Ensino, Pesquisa e Extensão, Câmara de Extensão.,Cargo ou função, Membro Titular - Câmara de Extensão - Representante IE - ATO CEPE Nº 169/2008.
04/2011 - 04/2011
Outras atividades técnico-científicas , Instituto de Ciências Exatas, Instituto de Ciências Exatas.,Atividade realizada, Banca de Exame de Qualificação de Mestrado - José Luiz Correa de Morais - Mestrado em Informática - CIC/IE/UnB.
09/2010 - 02/2011
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Trabalho de Graduação 2, Autômatos e Computabilidade, Estudos em Inteligência Artificial, Estudos em Sistemas de Computação
11/2010 - 11/2010
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Oficinas - Meninas na Computação.
11/2010 - 11/2010
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Semana de Extensão da Universidade de Brasília - Escola Regional de Informática.
11/2010 - 11/2010
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Palestrante - A atuação profissional da mulher na área de computação - ERI-CO - 2010.
09/2010 - 09/2010
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Semana Nacional de Ciência e Tecnologia - Exposição - Meninas na Computação.
03/2010 - 08/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Trabalho de Graduação 2
06/2010 - 07/2010
Conselhos, Comissões e Consultoria, Reitoria, Decanato de Extensão.,Cargo ou função, Comissão Científica no Âmbito da Unidade (IE) - (presidente) - X SEMEX - Resolução DEX 03/2010.
07/2009 - 04/2010
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente - Plano Político-Pedagógico Bacharelado em Ciência da Computação - ATO CIC 007/2009.
06/2009 - 03/2010
Conselhos, Comissões e Consultoria, Reitoria, Decanato de Extensão.,Cargo ou função, Membro - Comissão para estabelecer diretrizes para o fortalecimento da Extensão - ATO DEX nº 06/2009.
01/2010 - 02/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1, Trabalho de Graduação 1
01/2010 - 01/2010
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Chefe de Departamento.
08/2009 - 01/2010
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Tópicos Especiais em Lógica Computacional, Trabalho de Graduação 2, Programação em Lógica
08/2009 - 01/2010
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Programação em Lógica, Projeto de Licenciatura 2
10/2009 - 10/2009
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Áreas de Formação em Computação - SNCT.
08/2009 - 10/2009
Direção e administração, Reitoria, Decanato de Administração e Finanças.,Cargo ou função, Gestor - Plano de Trabalho FUB/MCT - ERI-CO1 2009 - Ato DAF 298/2009.
09/2009 - 09/2009
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Palestra - Lógica e Computação.
06/2009 - 07/2009
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Presidente - Comissão de Revalidação de Diploma - ATO IE Nº 014/2009.
06/2009 - 07/2009
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro - Comissão Transferência Facultativa - ATO CIC Nº 04/2009.
03/2009 - 07/2009
Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos em Formalismos de Computação
03/2009 - 07/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1
03/2009 - 07/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 2, Estudos em Sistemas de Computação, Estudos em Sistemas de Informação, Trabalho de Graduação 2
05/2009 - 06/2009
Conselhos, Comissões e Consultoria, Reitoria, Decanato de Extensão.,Cargo ou função, Presidente - Seleção de PEACs para bolsas REUNI - ATO DEX Nº 04/2009.
04/2009 - 06/2009
Conselhos, Comissões e Consultoria, Reitoria, Decanato de Extensão.,Cargo ou função, Presidente - Comissão de Seleção de PEACs ao PIBEX - ATO DEX Nº 04/2009.
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Sistemas de Informação, Estudos em Inteligência Artificial, Programação em Lógica, Lógica Computacional 1
07/2008 - 08/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Membro da Comissão de Avaliação de Docente em Estágio Probatório (Ato IE 029/2008).
03/2008 - 07/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Inteligência Artificial, Lógica Computacional 1
03/2008 - 07/2008
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, projeto de Licenciatura 2, Lógica Computacional 1
04/2008 - 04/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Comissão de Revalidação de Diploma (ATO IE 014/2008).
06/2007 - 04/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Graduação.
04/2006 - 03/2008
Direção e administração, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Coordenador de Curso - Bacharelado em Ciência da Computação.
04/2006 - 03/2008
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Membro CCCG/IE.
10/2007 - 10/2007
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Programação Orientada a Objetos - ABIN/CEPESC - Coordenação.
03/2007 - 07/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1, Trabalho de Graduação 2
03/2007 - 07/2007
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Estudos em Inteligência Artificial, Projeto de Licenciatura 2
05/2006 - 06/2007
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Presidente da Comissão de Graduação.
11/2006 - 03/2007
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas.,Cargo ou função, Comissão de revalidação de diploma (Res. IE 028/2006).
08/2006 - 12/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Estudos em Inteligência Artificial, Estudos em Sistemas de Computação, Lógica Computacional 1, Trabalho de Graduação 2
08/2006 - 12/2006
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Projeto de Licenciatura 2, Estudos em Inteligência Artificial
08/2006 - 08/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão de Recurso sobre Revisão de Menção (Ato CIC 06/2006).
07/2006 - 07/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão para Revalidação de Diploma (Ato IE 007/2006).
07/2006 - 07/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Comissão para Revalidação de Diploma (Ato IE 008/06).
02/2006 - 07/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1, Estudos em Inteligência Artificial
02/2006 - 07/2006
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 1, Projeto de Licenciatura 2
12/2004 - 05/2006
Conselhos, Comissões e Consultoria, Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Cargo ou função, Membro da Comissão de Graduação.
08/2005 - 01/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Lógica Computacional 2, Estudos em Inteligência Artificial, Trabalho de Graduação
08/2005 - 01/2006
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Projeto de Licenciatura 2, Teoria da Computação
09/2005 - 10/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Curso Avançado de Linguagem C - ABIN/CEPESC - Coordenação e Ensino.
07/2005 - 07/2005
Extensão universitária , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Atividade de extensão realizada, Curso Intensivo de Linguagem C - UnB - Coordenação e Ensino.
02/2005 - 07/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computação Básica
02/2005 - 07/2005
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Teoria da Computação
08/2004 - 01/2005
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Computação Básica
08/2004 - 01/2005
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Teoria da Computação
02/1999 - 07/1999
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Programação Científica, Introdução à Ciência da Computação
09/1998 - 01/1999
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Introdução à Ciência da Computação
09/1998 - 01/1999
Ensino, Computação -- Licenciatura, Nível: Graduação,Disciplinas ministradas, Lógica 1
05/1998 - 08/1998
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, INTRODUÇÃO À CIÊNCIA DA COMPUTAÇÃO, INTRODUÇÃO À MICROINFORMÁTICA

1996 - 1997

Instituto Nacional de Estudos E Pesquisas Pedagógicas

Vínculo: Outro, Enquadramento Funcional: CONSULTORA, Carga horária: 40

Atividades

09/1996 - 04/1997
Serviços técnicos especializados , Instituto Nacional de Estudos E Pesquisas Pedagógicas.,Serviço realizado, CONSULTORIA EM INFORMÁTICA.

1994 - 1995

Ministério Público do Distrito Federal e Territórios

Vínculo: Servidor público ou celetista, Enquadramento Funcional: ASSISTENTE EM INFORMÁTICA, Carga horária: 30

Atividades

04/1994 - 01/1995
Serviços técnicos especializados , Ministério Público do Distrito Federal E Territórios.,Serviço realizado, SUPORTE, ANÁLISE E PROGRAMAÇÃO EM MICROINFORMÁTICA.

1993 - 1993

Instituto de Desenvolvimento Tecnologico

Vínculo: Celetista, Enquadramento Funcional: ESTAGIÁRIA, Carga horária: 20

Atividades

05/1993 - 09/1993
Estágios , Instituto de Desenvolvimento Tecnológico.,Estágio realizado, DESENVOLVIMENTO DE APLICATIVOS PARA ENGENHARIA.

2017 - 2017

Australian National University

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Outras informações:
Honorary Academic Visitor - period 1/12/2017 to 17/12/2017.

2016 - 2016

Australian National University

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40

Outras informações:
Logic and Computation Group, Research School of Computer Science.

2022 - Atual

University of Manchester

Vínculo: Professor Visitante, Enquadramento Funcional: Professor Visitante, Carga horária: 40