Institute of Mathematics

Federal University of Rio de Janeiro

Contact | Background | Research Interests | Publications | Presentations and Talks | Links |

CCMN - UFRJ

Avenida Athos da Silveira Ramos, 274

Cidade Universitária - Ilha do Fundão

PO Box: 68530

Zip Code: 21941-916

Rio de Janeiro - RJ - Brazil

- D.Sc. in Computer Engineering - Federal University of Rio de Janeiro - 2010
- M.Sc. in Computer Engineering - Federal University of Rio de Janeiro - 2007
- B.Sc. in Computer Science (Magna Cum Laude) - Federal University of Rio de Janeiro - 2005

- Public-Key Cryptography
- Formal Languages, Automata and Computability
- Modal Logics
- Algebraic Curves and Algebraic Geometry
- Algebraic (Symbolic) Computation

(not included publications in Portuguese, with the exception of my dissertations)

- "Polynomial Hierarchy Graph Properties in Hybrid Logic" (with Francicleber Ferreira, Cibele Freire, Mario Benevides and Ana Teresa Martins), Journal of Computer and System Sciences, v. 80, n. 6, p. 1087-1101, 2014. [DOI] [preprint: pdf]
- "Propositional Dynamic Logics for Communicating Concurrent Programs with CCS's Parallel operator" (with Mario Benevides), Journal of Logic and Computation, Advance Access, Published online in January 31th 2014. [DOI] [preprint: pdf]
- "A Study on Multi-Dimensional Products of Graphs and Hybrid Logics" (with Mario Benevides), Theoretical Computer Science, v. 412, n. 37, p. 4946-4966, 2011. [DOI] [preprint: pdf]
- "Using Modal Logics to Express and Check Global Graph Properties" (with Mario Benevides), Logic Journal of the IGPL, v. 17, n. 5, p. 559-587, 2009. [DOI] [preprint: pdf]
- "Algebraic Solutions of Plane Vector Fields" (with S. Collier Coutinho), Journal of Pure and Applied Algebra, v. 213, n. 1, p. 144-153, 2009. [DOI] [preprint: pdf]
- "Algebraic Solutions of Holomorphic Foliations: An Algorithmic Approach" (with S. Collier Coutinho), Journal of Symbolic Computation, v. 41, n. 5, p. 603-618, 2006. [DOI] [preprint: pdf]

- "GGH May Not Be Dead After All" (with Charles Barros), accepted for publication in the proceedings of the XXXV Brazilian National Congress in Applied and Computational Mathematics (CNMAC 2014). [preprint: pdf]
- "A Logic of Plausible Justifications", Proceedings of the XIX Workshop on Logic, Language, Information and Computation (Wollic 2012), Lecture Notes in Computer Science, v. 7456, p. 306-320, 2012. [DOI] [preprint: pdf]
- "Hybrid Logics and NP Graph Properties" (with Francicleber Ferreira, Cibele Freire, Mario Benevides and Ana Teresa Martins), Proceedings of the XVIII Workshop on Logic, Language, Information and Computation (Wollic 2011), Lecture Notes in Artificial Intelligence, v. 6642, p. 123-134, 2011. [DOI] [preprint: pdf]
- "A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus" (with Mario Benevides), Proceedings of the VI Workshop on Methods for Modalities (M4M 2009), Electronic Notes in Theoretical Computer Science, v. 262, p. 49-64, 2010. [DOI] [preprint: pdf]
- "Product of Graphs and Hybrid Logic" (with Mario Benevides), Proceedings of the IV Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Electronic Notes in Theoretical Computer Science, v. 256, p. 103-118, 2009. [DOI] [preprint: pdf]
- "A Logical Approach to Hamiltonian Graphs", Proceedings of the III Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2008), Electronic Notes in Theoretical Computer Science, v. 247, p. 123-138, 2009. [DOI] [preprint: pdf]
- "Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator" (with Mario Benevides), Proceedings of the XV Brazilian Logic Conference (EBL 2008), CLE e-prints, v. 8, n. 6, 2008. [preprint: pdf]
- "A Propositional Dynamic Logic for CCS Programs" (with Mario Benevides), Proceedings of the XV Workshop on Logic, Language, Information and Computation (Wollic 2008), Lecture Notes in Artificial Intelligence, v. 5110, p. 83-97, 2008. [DOI] [preprint: pdf]
- "Modal Expressiveness of Graph Properties" (with Mario Benevides), Proceedings of the II Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007), Electronic Notes in Theoretical Computer Science, v. 205, p. 31-47, 2008. [DOI] [preprint: pdf]

- "Plausibility and Justification", Proceedings of the XVII Brazilian Logic Congress (EBL 2014), p. 96, 2014. Available online.
- "Multi-Dimensional Products of Graphs and Hybrid Logics" (com Mario Benevides), Proceedings of the 4th World Congress and School on Universal Logic (UNILOG 2013), p. 245, 2013. Available online.
- "Plausibility and Justification", Proceedings of the 4th World Congress and School on Universal Logic (UNILOG 2013), p. 187-188, 2013. Available online.
- "A Logical Approach to Multi-Dimensional Products of Graphs" (with Mario Benevides), Proceedings of the XVI Brazilian Logic Conference (EBL 2011), 2011. Available online.
- "Decidability of a Syntactic Fragment of the Hybrid Computation Tree Logic with the Downarrow Operator" (with Mario Benevides), Proceedings of the XV Brazilian Logic Conference (EBL 2008), Bulletin of Symbolic Logic, v. 15, n. 3, p. 346-347, 2009. Available online.

- "Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes" ("Applications of Modal Logics to Graph Theory and Concurrent Systems") - D.Sc. Thesis (in Portuguese), 2010. [pdf] [ps]
- "Soluções Algébricas de Campos de Vetores Planares: Métodos Algorítmicos" ("Algebraic Solutions of Plane Vector Fields: Algorithmic Methods") - M.Sc. Dissertation (in Portuguese), 2007. [pdf] [ps]
- "Soluções Algébricas de Folheações Holomorfas: Uma Abordagem Algorítmica" ("Algebraic Solutions of Holomorphic Foliations: An Algorithmic Approach") - Undergraduate Final Dissertation (in Portuguese), 2005. [pdf] [ps]

- "Criptografia: o Uso de Matemática para a Segurança de Informações" ("Cryptography: the Use of Mathematics in the Security of Information"), Seminar to the undergraduate students in Applied Math of the Mathematics Institute of the Federal University of Rio de Janeiro (in Portuguese), 2014.
- "As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012" ("The Scientific Contributions of Goldwasser and Micali - Turing Award 2012"), Seminar in the Graphs and Algorithms Group of the Federal University of Rio de Janeiro (in Portuguese), 2014.
- "As Contribuições Científicas de Goldwasser e Micali - Prêmio Turing 2012" ("The Scientific Contributions of Goldwasser and Micali - Turing Award 2012"), Seminar in the Department of Computer Science of the Federal University of Rio de Janeiro, Brazil (in Portuguese), 2013.
- "A Logic of Plausible Justifications", Seminar in the Mathematics, Astronomy and Physics School of the National University of Córdoba (UNC), Argentina, 2012.
- "Alan Turing: Vida e Contribuições Científicas" ("Alan Turing: Life and Scientific Contributions"), Seminar in the Graphs and Algorithms Group of the Federal University of Rio de Janeiro (in Portuguese), 2012.
- "A Vida e o Legado de Alan Turing para a Ciência após Cem Anos de seu Nascimento" ("The Life and Legacy of Alan Turing after a Hundred Years of his Birth"), Seminar in the Department of Computer Science of the Federal University of Rio de Janeiro, Brazil (in Portuguese), 2012.
- "Uma Abordagem Lógica para o Produto Multi-Dimensional de Grafos" ("A Logical Approach to Multi-Dimensional Product of Graphs"), Seminar in the Graphs and Algorithms Group of the Federal University of Rio de Janeiro (in Portuguese), 2011.
- "A Quebra do Algoritmo de Assinatura Digital do PlayStation 3" ("Breaking the Digital Signature Algorithm of the PlayStation 3"), Seminar in the Department of Computer Science of the Federal University of Rio de Janeiro, Brazil (in Portuguese), 2011.
- "Álgebras de Processo e Lógicas Dinâmicas com Operadores de Concorrência" ("Process Algebras and Dynamic Logics with Concurrency Operators"), Seminar in the Department of Computation of the Federal University of Ceará, Brazil (in Portuguese), 2010.
- "A Propositional Dynamic Logic for Concurrent Programs Based on the Pi-Calculus", Seminar at IRIT / Université Paul Sabatier (Toulouse), 2009.
- "An Analysis of Syntactic Fragments of Hybrid CTL with the Downarrow Binder", I Workshop on Modal Fixpoint Logics (MFL 2008), 2008.

Department of Computer Science

Program of Post-Graduate Studies in Informatics

Federal University of Rio de Janeiro

Last Update: January 31st 2015