Daniel Fabio Domingues Posner

Possui graduação em Bacharelado em Ciência da Computação pela Universidade Federal do Rio de Janeiro(2006), mestrado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro(2009), doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro(2014), pós-doutorado pela Universidade Federal do Rio de Janeiro(2018), ensino-fundamental-primeiro-grau pelo Colegio Santo Agostinho(1995) e ensino-medio-segundo-grau pelo Colegio Santo Agostinho(1998). Atualmente é Revisor de periódico da Electronic Notes in Discrete Mathematics, Revisor de periódico do RAIRO - Theoretical Informatics and Applications e Professor Adjunto da Universidade Federal Rural do Rio de Janeiro. Tem experiência na área de Ciência da Computação, com ênfase em Teoria da Computação.

Informações coletadas do Lattes em 28/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Engenharia de Sistemas e Computação

2009 - 2014

Universidade Federal do Rio de Janeiro
Título: Sobre L(2,1)-colorações de classes de grafos
Márcia Rosana Cerioli. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Mestrado em Engenharia de Sistemas e Computação

2007 - 2009

Universidade Federal do Rio de Janeiro
Título: L(2,1)-colorações: algoritmos e limites superiores em classes de grafos,Ano de Obtenção: 2009
Márcia Rosana Cerioli.

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

1999 - 2006

Universidade Federal do Rio de Janeiro
Título: L(2,1)-colorações
Orientador: Márcia Rosana Cerioli

Ensino Médio (2º grau)

1996 - 1998

Colégio Santo Agostinho

Ensino Fundamental (1º grau)

1988 - 1995

Colégio Santo Agostinho

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2015 - 2018

Pós-Doutorado. , Universidade Federal do Rio de Janeiro, UFRJ, Brasil. , Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.

Seção coletada automaticamente pelo Escavador

Formação complementar

2011 - 2011

Francês III. (Carga horária: 40h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2010 - 2010

Francês II. (Carga horária: 40h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2010 - 2010

Francês I. (Carga horária: 40h). , Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

2008 - 2008

Métodos estatísticos de data mining. (Carga horária: 6h). , Instituto Alberto Luiz Coimbra de Pós-Graduação, COPPE, Brasil.

2008 - 2008

Introdução à computação de alto desempenho. (Carga horária: 6h). , Instituto Alberto Luiz Coimbra de Pós-Graduação, COPPE, Brasil.

2008 - 2008

Scientific Writing. (Carga horária: 40h). , Instituto Alberto Luiz Coimbra de Pós-Graduação, COPPE, Brasil.

2007 - 2007

Conjuntos e lógica fuzzy. (Carga horária: 6h). , Instituto Alberto Luiz Coimbra de Pós-Graduação, COPPE, Brasil.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Português

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

Bandeira representando o idioma Francês

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Análise de Algoritmos e Complexidade de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Teoria de Grafos.

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

Seção coletada automaticamente pelo Escavador

Participação em eventos

Latin American Workshop on Clique Graphs. Tessellation cover on graphs with few P4. 2018. (Congresso).

Crossing Number Workshop 2015. 2015. (Congresso).

9th International colloquium on graph theory and combinatorics. On total L(2, 1)-coloring regular grids and diameter two graphs. 2014. (Congresso).

12th Cologne-Twente Workshop on Graphs & Combinatorial Optimization (CTW 2013). Total L(2, 1)-coloring of graphs. 2013. (Congresso).

5th Latin American Workshop on Cliques in Graphs.On L(h, k)-coloring b-core limited graphs. 2012. (Simpósio).

I Workshop de Grafos e Aplicações (WGA). 2012. (Oficina).

4th Latin-American Algorithms, Graphs and Optimization Symposium. 2011. (Congresso).

CALIN Seminars.Efficient solutions for the -coloring problem on classes of graphs. 2011. (Seminário).

4th Latin American Workshop on Cliques in Graphs. On L(2,1)-coloring split permutation graphs. 2010. (Congresso).

8th French Combinatorial Conference. On L(2,1)-coloring P4-tidy graphs. 2010. (Congresso).

CSBC 2010. L(2,1)-colorações: algoritmos e limites superiores em classes de grafos. 2010. (Congresso).

V Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2009).On L(2,1)-coloring split, chordal bipartite, and weakly chordal graph. 2009. (Seminário).

8th Latin American Theoretical Informatics Symposium - LATIN. 2008. (Simpósio).

V Semana de Eletrônica e Computação. 2008. (Outra).

XL Simpósio Brasileiro de Pesquisa Operacional.Limite Superior para L(2,1)-coloração de grafos bipartidos cordais. 2008. (Simpósio).

Workshop PADCT. 2007. (Seminário).

XXVII Jornada de Iniciação Científica - UFRJ.L(2,1)-colorações. 2005. (Outra).

XXV Jornada de Inciação Científica - UFRJ.Algoritmos de Reconhecimento para Grafos Linha. 2003. (Outra).

XXIV Jornada de Iniciação Científica - UFRJ.Caracterizações e Reconhecimento dos Grafos Linha. 2002. (Outra).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Alexandre Santiago Abreu

BORNSTEIN, C. F.; MARQUEZINO, F.; KOWADA, L.; CUNHA, L.; PORTUGAL, R.;POSNER, D. F. D.. The graph tessellation cover number: extremal bounds, efficient algorithms and hardness. 2017 - Universidade Federal do Estado do Rio de Janeiro.

Aluno: Sidney da Silva Ferreira

COUTO, F.; CUNHA, L.;POSNER, D. F. D.. Árvore geradora mínima e corte mínimo de um grafo: visão determinística e randomizada. 2017. Trabalho de Conclusão de Curso (Graduação em Tecnologia em Sistemas de Computação à Distância) - Fundação Centro de Ciências e Educação Superior à Distância do Estado do RJ.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Célia Picinin de Mello

CERIOLI, M. R.;C. P. de Mello; J. Petrucio Viana;FIGUEIREDO, C. M.. L(2,1)-colorações: algoritmos e limites superiores em classes de grafos. 2009.

Célia Picinin de Mello

CERIOLI, M. R.;Célia Picinin de Mello; J. Petrucio Viana;SZWARCFITER, J. L.; FARIA, L.. Sobre L(2,1)-Colorações de Classes de Grafos. 2014. Tese (Doutorado em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Jorge Petrucio Viana

VIANA, J.P.. L(2,1)-colorações: Algoritmos e Limites Superiores em Classe de Grafos. 2009. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Luerbio Faria

CERIOLI, Márcia Rosana; SZWARCFITER, J. L.; MELLO, C. P.; Viana, J. P.;FARIA, L.. Sobre L(2,1) - Colorações de Classes de Grafos. 2014. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Daniel Ratton Figueiredo

CERIOLI, M. R.;FIGUEIREDO, D. R.; VIANA, J. P.. Soluções eficientes e aproximadas para o problema da L(2,1)-coloração em classes de grafos e suas complexidades computacionais. 2012. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Daniel Ratton Figueiredo

CERIOLI, M. R.; VIANA, J. P.;FIGUEIREDO, D. R.. Soluções Eficientes e Aproximadas para o Problema da L(2,1)-Coloração em Classes de Grafos e suas Complexidades Computacionais. 2012. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Seção coletada automaticamente pelo Escavador

Orientou

Gabriel Ferreira Barros

L(2,1)-coloração de árvores; 2014; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Daniel Fabio Domingues Posner;

Diego de Souza de Freitas

Grafos de Interseção e Colorações: propriedades estruturais; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Daniel Fabio Domingues Posner;

Gabriel Ferreira Barros

L(2,1)-coloração total de grafos; 2012; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Daniel Fabio Domingues Posner;

Gabriel Ferreira Barros

L(2,1)-coloração de grafos; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Rio de Janeiro; Orientador: Daniel Fabio Domingues Posner;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Marcia Rosana Cerioli

L(2,1)-colorações: Algoritmos e Limites Superiores em Classes de Grafos; 2009; Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Márcia Rosana Cerioli;

Marcia Rosana Cerioli

Sobre L(2,1)-colorações de Classes de Grafos; 2014; Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Márcia Rosana Cerioli;

Marcia Rosana Cerioli

2017; Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Márcia Rosana Cerioli;

Marcia Rosana Cerioli

Algoritmo de Reconhecimento de Grafos Linha; 2003; Iniciação Científica; (Graduando em Bacharelado em Informática) - Universidade Federal do Rio de Janeiro; Orientador: Márcia Rosana Cerioli;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • ABREU, A. ; CUNHA, L. ; DE FIGUEIREDO, C. ; KOWADA, L. ; MARQUEZINO, F. ; POSNER, D. ; PORTUGAL, R. . The graph tessellation cover number: chromatic bounds, efficient algorithms and hardness. THEORETICAL COMPUTER SCIENCE , v. 1, p. 1-17, 2019.

  • CARVALHO, MOISÉS T. ; DANTAS, SIMONE ; DOURADO, MITRE C. ; POSNER, DANIEL F.D. ; SZWARCFITER, JAYME L. . On the Computational Complexity of the Helly Number in the P3 and Related Convexities. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 346, p. 285-297, 2019.

  • CERIOLI, M. R. ; MARTINS, N. A. ; POSNER, DANIEL F.D. ; SAMPAIO, R. M. . L(2,1)-labelling of graphs with few P4?s. Discrete Optimization , v. 20, p. 1-10, 2016.

  • CERIOLI, MÁRCIA R. ; POSNER, DANIEL F.D. . On -coloring split, chordal bipartite, and weakly chordal graphs. Discrete Applied Mathematics , v. 160, p. 2655-2661, 2012.

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2013 - 2015

    MathAmsud - Algorithmic, algebraic and structural issues on coloring and matching theory of graphs, Projeto certificado pelo(a) coordenador(a) Márcia Rosana Cerioli em 13/03/2016., Descrição: Variations of the graph coloring problem: theoretical aspects, algorithms, and applications.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Daniel Fabio Domingues Posner - Integrante / CERIOLI, M. R. - Coordenador., Financiador(es): Centre National de la Recherche Scientifique - Cooperação.

  • 2009 - 2018

    CNPq Universal - Coloração de vértices e cliques em classes de grafos de interseção (2009 a 2012) e (2014 a 2017), Descrição: Estudo de três problemas de coloração de grafos: coloração de vértices clássico, L(2,1)-coloração e coloração de cliques, sob o ponto de vista de complexidade computacional, restrito a classes de grafos e motivadas por aplicações em problemas reais.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Daniel Fabio Domingues Posner - Integrante / CERIOLI, MÁRCIA R. - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

  • 2009 - 2013

    Jovem Cientista do Nosso Estado - Problemas Estruturais em Grafos, Descrição: Estudo de características estruturais dos grafos com o objetivo de obter propriedades que levem ao desenvolvimento de algoritmos eficientes para a solução de problemas clássicos em otimização combinatória que modelam problemas reais relevantes. Em particular, a obtenção de caracterizações por subgrafos proibidos e reconhecimento de classes de grafos... , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Daniel Fabio Domingues Posner - Integrante / CERIOLI, MÁRCIA R. - Coordenador., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Bolsa.

Seção coletada automaticamente pelo Escavador

Prêmios

2018

Aprovado na 3a. colocação no Concurso Público para Professor Adjunto - 40hs - na área de Fundamentos da Computação - IM - UFRJ, Universidade Federal do Rio de Janeiro.

2017

Aprovado na 2a. colocação no Concurso Público para Professor Adjunto - 40hs - na área de Engenharia/Tecnologia/Gestão - NCE - UFRJ, Universidade Federal do Rio de Janeiro.

2016

Aprovado na 4a. colocação no Concurso Público para Professor Adjunto - 40hs - na área de Ciência da Computação - UFRRJ, Universidade Federal Rural do Rio de Janeiro.

2015

Aprovado na 2a. colocação no Concurso Público para Professor Adjunto - 40hs - na área de Ciência da Computação - Teoria da Computação e Algoritmos - Instituto de Matemática e Estatística - UERJ, Universidade do Estado do Rio de Janeiro.

2011

Voto de Louvor, COPPE - Universidade Federal do Rio de Janeiro.

2011

Melhor Trabalho do Centro de Ciências Matemática e da Natureza (como Orientador) XXXIII Jornada de Iniciação Científica da UFRJ, Universidade Federal do Rio de Janeiro.

2010

Segunda melhor dissertação no Concurso de Teses e Dissertações (CTD 2010) do CSBC 2010, Sociedade Brasileira de Computação.

2003

Melhor da Sessão da XXV Jornada de Iniciação Científica - Sessão 100 - Matemática IV, UFRJ - CCMN, .

2002

Melhor da Sessão da XXIV Jornada de Iniciação Científica 2183 - Informática, UFRJ - CCMN, .

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional

2016 - 2018

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Pós-doutorado, Carga horária: 40, Regime: Dedicação exclusiva.

2010 - 2013

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Doutorado, Regime: Dedicação exclusiva.

Outras informações:
Bolsista CNPq - GD

2011 - 2011

Universidade Federal do Rio de Janeiro

Vínculo: Estágio a Docência, Enquadramento Funcional: Monitor

Outras informações:
Disciplina Algoritmos e Grafos

2009 - 2009

Universidade Federal do Rio de Janeiro

Vínculo: Estágio a Docência, Enquadramento Funcional: Monitor

Outras informações:
Disciplina Algoritmos e Grafos

2007 - 2009

Universidade Federal do Rio de Janeiro

Vínculo: Bolsista, Enquadramento Funcional: Bolsista de Mestrado, Regime: Dedicação exclusiva.

Outras informações:
Bolsa CNPq - GM

2008 - 2008

Universidade Federal do Rio de Janeiro

Vínculo: Estágio a Docência, Enquadramento Funcional: Monitor

Outras informações:
Disciplina Tópicos Especiais em Algoritmos

2008 - 2008

Universidade Federal do Rio de Janeiro

Vínculo: Estágio a Docência, Enquadramento Funcional: Monitor

Outras informações:
Disciplina Algoritmos e Grafos

2020 - Atual

Universidade Federal Rural do Rio de Janeiro

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