Rennan Ferreira Dantas
- Endereço para acessar este CV: http://lattes.cnpq.br/0192579272041443
- Última atualização do currículo em 02/01/2019
É 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
Projetos de pesquisa
2018 - Atual
GOHaN - Graphs, Optimization, Heuristics and Networks
Descrição: O GOHaN é um grupo formado por pesquisadores que trabalham em torno de linhas de
pesquisas relacionadas, capaz de gerar conhecimento para aplicação em projetos que
contribuam para o desenvolvimento científico e tecnológico do país.
O objetivo geral do grupo é desenvolver pesquisa em torno das quatro principais áreas de
conhecimento que definem o seu nome. Nesse contexto, destacam-se algumas atividades
como:
●Estudar problemas combinatórios teóricos (como coloração de grafos, escalonamento de
tarefas, alocação de recursos, entre outros), visando à obtenção de modelos discretos e
contínuos, com aplicações em problemas práticos de telecomunicações e de
gerenciamento da execução de processos.
●Pesquisar teoria e técnicas de desenvolvimento de algoritmos para problemas complexos
de otimização combinatória, produzindo algoritmos exatos, aleatórios, aproximativos e
heurísticos, usando técnicas de decomposição, particionamento e aproximação dos
problemas, entre outras.
O grupo atua pesquisando as quatro grandes áreas que definem seu nome de forma integrada,
gerando conhecimento e formando recursos humanos em temas ligados a:
●Heurísticas
●Otimização Combinatória
●Redes de Computadores
●Teoria da Computação
● Teoria dos Grafos.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Rennan Ferreira Dantas - Coordenador / Luiz Alberto do Carmo Viana - Integrante / Lisieux Marie Marinho dos Santos Andrade - Integrante / Filipe Fernandes dos Santos Brasil de Matos - Integrante.
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (8) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Rennan Ferreira Dantas - Coordenador / Luiz Alberto do Carmo Viana - Integrante / Lisieux Marie Marinho dos Santos Andrade - Integrante / Filipe Fernandes dos Santos Brasil de Matos - Integrante.
Idiomas
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Pouco, Lê 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.
MELO, M. V. M. ; DANTAS, R. F. . Introdução a docência em computação: Linguagens Formais e Autômatos e Lógica para Computação. In: Encontros Universitários - Universidade Federal do Ceará - Campus de Crateús, 2018, Crateús. III Encontros Universitários 2018, 2018.
2.
COSTA, S. P. ; DANTAS, R. F. . Núcleo de Acompanhamento e Formação em Tecnologia da Informação e Engenharia. In: III Encontros Universitários - Universidade Federal do Ceará - Campus de Crateús, 2018, Crateús - CE. III Encontros Universitários 2018, 2018.
3.
DANTAS, R. F.; ARAÚJO, G. M. . INICIAÇÃO À DOCÊNCIA NA CIÊNCIA DA COMPUTAÇÃO: LÓGICA PARA COMPUTAÇÃO E LINGUAGENS FORMAIS E AUTÔMATOS. In: II Encontros Universitários - Universidade Federal do Ceará - Campus de Crateús, 2017, Crateús - CE. II Encontros Universitários - 2017, 2017.
4.
ABREU, L. M. ; DANTAS, R. F. . A gamificação do ensino como metodologia de aprendizado na área de programação computacional e cálculo numérico para engenharia. In: I Encontros Universitários - Universidade Federal do Ceará - Campus de Crateús, 2016, Crateús - CE. I Encontros Universitários - 2016, 2016.
5.
COSTA, F. J. K. ; DANTAS, R. F. . Iniciação a Docência - Álgebra Linear, Programação e Cálculo Numérico. In: I Encontros Universitários - Universidade Federal do Ceará - Campus de Crateús, 2016, Crateús - CE. I Encontros Universitários - 2016, 2016.
6.
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).
Orientações
Orientações e supervisões em andamento
Trabalho de conclusão de curso de graduação
1.
Marcus Vinicius Martins Melo. Um algoritmo exato para o Problema da Biclique Induzida Balanceada Máxima com Bonecas Russas e Partições em Cliques.
Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Ceará. (Orientador).
2.
João Paulo de Araújo. Sobre a validade da Conjectura de Reed para grafos livres de {P5, Flag C}.
Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Ceará. (Orientador).
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 18/02/2019 às 14:47:22