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
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.
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.
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.
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.
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.
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
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.
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.
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.
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
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
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
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.
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.
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.
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
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.
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
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
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
Programação Funcional
Lógica para 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
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.
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. 
, 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.
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.
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