Arthur Freitas Ramos

Formação acadêmica

Doutorado em Ciências da Computação

2015 - 2018

Universidade Federal de Pernambuco
Título: Explicit Computational Paths in Type Theory
Anjolina Grisi de Oliveira. Coorientador: Ruy José Guerra Barretto de Queiroz. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Caminhos Computacionais; Teoria Homotopica dos Tipos; Tipo Identidade; Teoria das Categorias; Sistema de Reescrita de Termos; Unicidade de Provas de Identidade. Grande área: Ciências Exatas e da TerraGrande Á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: Matemática / Subárea: Teoria das Categorias.

Mestrado em Ciências da Computação

2014 - 2015

Universidade Federal de Pernambuco
Título: O Tipo Identidade Como o Tipo de Caminhos Computacionais,Ano de Obtenção: 2015
Ruy José Guerra Barretto de Queiroz.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Á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: Matemática / Subárea: Teoria das Categorias.

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

2009 - 2013

Universidade Federal de Pernambuco
Título: Matemática Construtiva e o Intuicionismo
Orientador: Ruy José Guerra Barretto de Queiroz

Idiomas

Inglês

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

Áreas de atuação

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computaçã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: Matemática / Subárea: Teoria das Categorias.

Participação em eventos

XVIII Encontro Brasileiro de Lógica. Computational Paths, transport and the univalence axiom. 2017. (Congresso).

10th Workshop on Logical and Semantic Frameworks, with Applications. Computational paths, identity type, and the groupoid model. 2015. (Congresso).

Produções bibliográficas

RAMOS, A. F. ; DE QUEIROZ, R. J. G. B. ; DE OLIVEIRA, A. G. ; VERAS, T. M. L. . Explicit Computational Paths. SOUTH AMERICAN JOURNAL OF LOGIC , v. 4, p. 441-484, 2018.
RAMOS, ARTHUR F. ; DE QUEIROZ, RUY J. G. B. ; DE OLIVEIRA, ANJOLINA G. . On the identity type as the type of computational paths. LOGIC JOURNAL OF THE IGPL , v. 25, p. 562-568, 2017.
DE QUEIROZ, R. J. G. B. ; DE OLIVEIRA, A. G. ; RAMOS, A. F. . Propositional Equality, Identity Types, and Computational Paths. SOUTH AMERICAN JOURNAL OF LOGIC , v. 2, p. 245-296, 2016.
RAMOS, ARTHUR F. ; QUEIROZ, RUY J. G. B. DE ; OLIVEIRA, ANJOLINA G. DE . Conversão de Termos, Homotopia, e Estrutura de Grupóide. In: Workshop Brasileiro de Lógica, 2021, Brasil. Anais do II Workshop Brasileiro de Lógica (WBL 2021), 2021. p. 33.
RAMOS, A. F. ; DE QUEIROZ, R. J. G. B. ; DE OLIVEIRA, A. G. . Computational paths, identity type, and the groupoid model. In: LSFA 2015 - 10th Workshop on Logical and Semantic Frameworks, with Applications, 2015, Natal. Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015.
VERAS, T. M. L. DE ; RAMOS, A. F. ; QUEIROZ, R. J. G. B. DE ; OLIVEIRA, A. G. DE . Calculation of Fundamental Groups via Computational Paths. In: Encontro de Teoria da Computação, 2021, Brasil. Anais do VI Encontro de Teoria da Computação (ETC 2021), 2021. p. 17.
RAMOS, ARTHUR F. ; QUEIROZ, RUY J. G. B. DE ; OLIVEIRA, ANJOLINA G. DE . Computational Paths and the Fundamental Groupoid of a Type. In: Encontro de Teoria da Computação, 2021, Brasil. Anais do VI Encontro de Teoria da Computação (ETC 2021), 2021. p. 22.
RAMOS, A. F. ; DE QUEIROZ, R. J. G. B. ; DE OLIVEIRA, A. G. . Computational paths, transport and the univalence axiom. In: Encontro Brasileiro de Logica, 2017, Pirenopolis. Book of Abstracts: XVIII EBL 2017, 2017.
RAMOS, A. F. ; DE QUEIROZ, R. J. G. B. ; DE OLIVEIRA, A. G. . Conversão de Termos, Homotopia, e Estrutura de Grupóide. 2021. (Apresentação de Trabalho/Congresso).
RAMOS, A. F. . Explicit Computational Paths in Type Theory. Cambridge: Cambridge University Press, 2019 (Thesis Abstract: Bulletin of Symbolic Logic Vol 25, Issue 2).

Prêmios

2013

Láurea Universitária, Universidade Federal de Pernambuco.

2010

Participação na Maratona de Programação, ACM ICPC - International Collegiate Programming Contest.