Rennan Ferreira Dantas

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


É professor assistente da Universidade Federal do Ceará - Campus Crateús desde 2015. É estudante de doutorado da UFC-CE, atuando principalmente em pesquisas na área de teoria dos grafos. Possui graduação (2008-2011) e mestrado (2012-2014) em Ciência da Computação pela Universidade Federal do Ceará (UFC-CE) . (Texto informado pelo autor)


Identificação


Nome
Rennan Ferreira Dantas
Nome em citações bibliográficas
DANTAS, R. F.;DANTAS, RENNAN

Endereço


Endereço Profissional
Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação.
Bloco 910, Campus do Pici
Pici
60455-760 - Fortaleza, CE - Brasil


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


2014
Doutorado em andamento em Ciências da Computação.
Universidade Federal do Ceará, UFC, Brasil.
Título: Códigos de Identificação em Grades,
Orientador: Rudini Menezes Sampaio.
Bolsista do(a): Fundação Cearense de Apoio ao Desenvolvimento Científico e Tecnológico, FUNCAP, Brasil.
2012 - 2014
Mestrado em Ciências da Computação.
Universidade Federal do Ceará, UFC, Brasil.
Título: Problemas de Código de Identificação em Grides,Ano de Obtenção: 2014.
Orientador: Rudini Menezes Sampaio.
Coorientador: Frédéric Havet.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
2008 - 2011
Graduação em Ciência da Computação.
Universidade Federal do Ceará, UFC, Brasil.
Orientador: Rudini Menezes Sampaio.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.




Formação Complementar


2016 - 2016
Docência integrada às tecnologias da informação e comunicação (DTIC). (Carga horária: 64h).
Universidade Federal do Ceará, UFC, Brasil.
2013 - 2013
Combinatória Extremal. (Carga horária: 48h).
Instituto Nacional de Matemática Pura e Aplicada, IMPA, Brasil.


Atuação Profissional



Universidade Federal do Ceará, UFC, Brasil.
Vínculo institucional

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

Atividades

08/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Projeto e Análise de Algoritmos
Lógica para Computação
07/2017 - Atual
Direção e administração, Campus Crateús, .

Cargo ou função
Coordenador do Curso de Bacharelado em Ciência da Computação.
04/2017 - Atual
Conselhos, Comissões e Consultoria, Campus Crateús, .

Cargo ou função
Membro do Colegiado do Curso de Bacharelado em Ciência da Computação.
04/2016 - Atual
Conselhos, Comissões e Consultoria, Campus Crateús, .

Cargo ou função
Membro do Núcleo Docente Estruturante (NDE) do Curso de Bacharelado em Ciência da Computação.
02/2018 - 06/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Linguagens Formais e Autômatos
08/2017 - 12/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Projeto e Análise de Algoritmos
03/2017 - 07/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Linguagens Formais e Autômatos
03/2016 - 07/2017
Direção e administração, Campus Crateús, .

Cargo ou função
Vice-coordenador do Curso de Bacharelado em Ciência da Computação.
02/2016 - 07/2017
Conselhos, Comissões e Consultoria, Campus Crateús, .

Cargo ou função
Representante Docente no Conselho do Campus.
12/2015 - 04/2017
Conselhos, Comissões e Consultoria, Campus Crateús, .

Cargo ou função
Membro do Núcleo Docente Estruturante (NDE) do Curso de Bacharelado em Sistemas de Informação.
08/2016 - 02/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Projeto e Análise de Algoritmos
03/2016 - 12/2016
Extensão universitária , Campus Crateús, .

Atividade de extensão realizada
Núcleo de Práticas de Desenvolvimento de Sistemas.
03/2016 - 07/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
Projeto e Análise de Algoritmos
08/2015 - 07/2016
Ensino, Engenharia Civil, Nível: Graduação

Disciplinas ministradas
Programação Computacional e Introdução ao Cálculo Numérico
08/2015 - 02/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Programação Funcional
Lógica para Computação


Áreas de atuação


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


Idiomas


Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende PoucoLê Pouco.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Produções



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

1.
DANTAS, RENNAN2018 DANTAS, RENNAN; HAVET, FRÉDÉRIC ; SAMPAIO, RUDINI M. . Minimum density of identifying codes of king grids. DISCRETE MATHEMATICS, v. 341, p. 2708-2719, 2018.

2.
DANTAS, RENNAN2017 DANTAS, RENNAN; HAVET, FRÉDÉRIC ; SAMPAIO, RUDINI M. . Identifying codes for infinite triangular grids with a finite number of rows. DISCRETE MATHEMATICS, v. 340, p. 1584-1597, 2017.

Resumos publicados em anais de congressos
1.
COSTA, E. R. ; DANTAS, R. F. ; SAMPAIO, R. M. . Nonrepetitive, acyclic and clique colorings of graphs with few P4's. In: Congresso Latino-Iberoamericano de Investigacion Operativa, 2012, Rio de Janeiro. CLAIO/SBPO 2012, 2012.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
II French-brazilian Workshop in Graphs and Combinatorial Optimization. 2015. (Outra).

2.
VIII Latin-American Algorithms, Graphs and Optimization Symposium. 2015. (Simpósio).

3.
XLVI Simpósio Brasileiro de Pesquisa Operacional. 2014. (Simpósio).

4.
XLV Simpósio Brasileiro de Pesquisa Operacional. 2013. (Simpósio).

5.
IV Encontro de Docência no Ensino Superior.EXPERIÊNCIAS NO ENSINO DA MATEMÁTICA DISCRETA. 2012. (Encontro).

6.
V Encontro de Pesquisa e Pós-Graduação - Encontros Universitários - UFC.Colorações não-repetitiva e acíclica de grafos com poucos p4's. 2012. (Encontro).

7.
XVI Congresso Latino-Iberoamericano de Investigacion Operativa. Nonrepetitive, acyclic and clique colorings of graphs with few P4's. 2012. (Congresso).

8.
XXX Encontro de Iniciação Científica - Encontros Universitários - UFC.Decomposição em largura em árvores de grafos planares livres de buracos pares induzidos e problemas de partiçao em k conjuntos independentes ou cliques de tamanho k' limitado. 2011. (Encontro).



Outras informações relevantes


Bolsista de Iniciação Científica formantada pelo CNPq entre 01/2011 e 07/2011.
Bolsista de Iniciação Científica formantada pela FUNCAP entre 08/2011 e 12/2011.



Página gerada pelo Sistema Currículo Lattes em 20/10/2018 às 2:24:08