Ruan Vasconcelos Bezerra Carvalho

  • Endereço para acessar este CV: http://lattes.cnpq.br/4294919792163013
  • Última atualização do currículo em 04/05/2018


Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal de Pernambuco (2011) e mestrado em Pós-Graduação em Ciência da Computação pela Universidade Federal de Pernambuco (2013). Atualmente é professor assistente da Universidade Federal Rural de Pernambuco. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação, atuando principalmente nos seguintes temas: graph theory, automatic proof-checking, linear logic, n-graphs e natural deduction. (Texto informado pelo autor)


Identificação


Nome
Ruan Vasconcelos Bezerra Carvalho
Nome em citações bibliográficas
CARVALHO, R. V. B.;Carvalho, Ruan

Endereço


Endereço Profissional
Universidade Federal de Pernambuco, Centro de Informática.
Avenida Prof. Luis Freire
50740-540 - Recife, PE - Brasil


Formação acadêmica/titulação


2014 - 2017
Doutorado em Ciências da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Cálculos de múltipla conclusão para a lógica intuicionista sob uma perspectiva geométrica, Ano de obtenção: 2018.
Orientador: Anjolina Grisi de Oliveira.
Palavras-chave: lógica intuicionista; grafos de prova; múltipla conclusão; teoria da prova; proof-nets.
Grande área: Ciências Humanas
2012 - 2013
Mestrado em Pós-Graduação em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Uma nova prova de corretude para os N-Grafos,Ano de Obtenção: 2013.
Orientador: Anjolina Grisi de Oliveira.
Coorientador: Ruy José Guerra Barretto de Queiroz.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: N-Graphs; natural deduction; sequent calculus; MLL-; subnets.
Grande área: Ciências Exatas e da Terra
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra / Especialidade: Lógica Matemática.
2007 - 2011
Graduação em Bacharelado em Ciência da Computação.
Universidade Federal de Pernambuco, UFPE, Brasil.
Título: Visualização de redes regulatórias a partir de modelos de regressão e seleção de atributos.
Orientador: Ivan Gesteira Costa Filho.




Atuação Profissional



Universidade Federal Rural de Pernambuco, UFRPE, Brasil.
Vínculo institucional

2018 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Professor executor virtual, Carga horária: 20

Vínculo institucional

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

Atividades

11/2015 - Atual
Conselhos, Comissões e Consultoria, UNIVERSIDADE FEDREAL RURAL DE PERNAMBUCO, .

Cargo ou função
Comitê Assessor de Monitoria dos Departamentos Acadêmicos.
9/2015 - Atual
Conselhos, Comissões e Consultoria, UNIVERSIDADE FEDREAL RURAL DE PERNAMBUCO, .

Cargo ou função
Membro do Colegiado de Coordenação Didática (CCD) do Curso de Bacharelado em Ciência da Computação.
3/2017 - 9/2017
Ensino, Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Lógica e Programação Lógica
3/2017 - 5/2017
Conselhos, Comissões e Consultoria, UNIVERSIDADE FEDREAL RURAL DE PERNAMBUCO, .

Cargo ou função
Presidente da Comissão de Consulta para eleição de Coordenador e Substituto Eventual de Bacharelado em Ciência da Computação.
8/2016 - 2/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Matemática Discreta 1
3/2016 - 7/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Matemática Discreta 1
Lógica e Programação Lógica
8/2015 - 12/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Matemática Discreta 1
Lógica e Programação Lógica
3/2015 - 7/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Matemática Discreta 1
Lógica e Programação Lógica
9/2014 - 2/2015
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Matemática Discreta 1
Elementos de Informática
3/2014 - 8/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Matemática Discreta
Matemática Discreta 1
Introdução à Microinformática

Universidade Federal de Pernambuco, UFPE, Brasil.
Vínculo institucional

2012 - 2013
Vínculo: Estágio docência, Enquadramento Funcional: Estágio, Carga horária: 2
Outras informações
Estágio docência realizado durante o Mestrado em Ciência da Computação/UFPE lecionando a disciplina Lógica para Engenharia da Computação.

Vínculo institucional

2008 - 2010
Vínculo: Monitor, Enquadramento Funcional: Monitor
Outras informações
Disciplina: Matemática Discreta para Computação (IF670) Orientador: Prof. Dra. Anjolina Grisi de Oliveira



Projetos de pesquisa


2010 - 2011
Análise de Redes Regulatórias com Modelos de Regressão e Seleção de Atributos
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) .
Integrantes: Ruan Vasconcelos Bezerra Carvalho - Integrante / Ivan Gesteira Costa Filho - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.


Idiomas


Inglês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2009
Honorable Mention, Brazilian First Phase, ACM - International Collegiate Programming Contest.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
Andrade, Laís2016 Andrade, Laís ; Carvalho, Ruan ; DE OLIVEIRA, ANJOLINA ; DE QUEIROZ, RUY . Normalization of N-Graphs via Sub-N-Graphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, v. 323, p. 3-19, 2016.

Trabalhos completos publicados em anais de congressos
1.
MAVERICK, A. ; FERREIRA, R. ; PINHEIRO, A. ; Carvalho, Ruan ; NETO, S. . Mineração de Texto Aplicada à Identificação de Colaboração em Fóruns Educacionais. In: Congresso Brasileiro de Informática da Educação, 2017, Recife. XXVIII Simpósio Brasileiro de Informática na Educação, 2017.

2.
CARVALHO, R. V. B.; Andrade, Laís ; OLIVEIRA, A. G. ; QUEIROZ, R. J. G. B. . Sequentialization for N-Graphs via Sub-N-Graphs. In: 21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014, 2014, Valparaiso. Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014. Berlin: Springer, 2014. v. 1. p. 94-108.

3.
Andrade, Laís ; CARVALHO, R. V. B. ; OLIVEIRA, A. G. ; QUEIROZ, R. J. G. B. . Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. In: 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013), 2013, Darmstadt. Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013. Berlin: Springer, 2013. v. 1. p. 34-48.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
Workshop on Logic, Language, Information and Computation. 2013. (Congresso).

2.
Conference on Transcendental syntax: the conditions of possibility of language. 2012. (Congresso).

3.
Logic School on Proof Theory: Linear Logic, Ludics and Geometry of Interaction. 2012. (Simpósio).




Página gerada pelo Sistema Currículo Lattes em 21/01/2019 às 6:43:19