Phillippe Samer Lallo Dias

Professor e pesquisador em matemática e teoria da computação. Tem experiência e interesse principalmente em Combinatória (poliédrica, algébrica e problemas de otimização discreta) e Análise (funcional, assintótica, convexa, teoria da medida e probabilidade). Obteve na UFMG os títulos de bacharel (2011) e mestre (2014) em Ciência da Computação, e de especialista em Matemática (2018), incluindo períodos de intercâmbio na Alemanha e no Japão. Desde 2019, contratado como pesquisador e candidato ao título de PhD na Universidade de Bergen, Noruega. Últimas atuações como pesquisador visitante também na Noruega (2015-2016) e docente no ensino superior (CEFET-MG e PUC-Minas, 2014-2015).

Informações coletadas do Lattes em 23/07/2025

Acadêmico

Formação acadêmica

Doutorado em andamento em Matemática e Ciências Naturais

2019 - Atual

Universitetet i Bergen
Título: Stability, domination and packing of trees in a graph: contributions in polyhedral combinatorics and graph theory
Orientador: Dag Haugland
Bolsista do(a): The Research Council of Norway, RCN, Noruega. Palavras-chave: combinatória poliédrica; otimização linear e inteira; otimização combinatória.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Otimização Combinatória. Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada / Especialidade: Matemática Discreta e Combinatória. Setores de atividade: Pesquisa e desenvolvimento científico.

Mestrado em Ciências da Computação

2012 - 2014

Universidade Federal de Minas Gerais
Título: Formulations and Exact Algorithms for the Minimum Spanning Tree Problem with Conflicting Edge Pairs, Ano de Obtenção: 2014
Orientador: em Laboratory for Algorithmics, Hokkaido University ( Shin-ichi Minato)
com Sebastián Alberto Urrutia.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Programação Matemática.

Especialização em Matemática

2017 - 2018

Universidade Federal de Minas Gerais
Título: A note on identifying a Hilbert space with its dual using the theorem of Riesz-Fréchet
Orientador: Rémy de Paiva Sanchis

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

2005 - 2011

Universidade Federal de Minas Gerais
Título: Paralelização Automática de Algoritmos de Colônia de Formigas a partir do Modelo MapReduce
Orientador: Gisele Lobo Pappa
com

Formação complementar

2015 - 2015

TOEFL Internet-based Test (110 pontos). , Educational Testing Service, ETS, Estados Unidos.

2011 - 2011

Programa de Verão. (Carga horária: 18h). , Laboratório Nacional de Computação Científica, LNCC, Brasil.

2007 - 2007

Japanese Language Proficiency Test (Level 3). , The Japan Foundation and Association of International Education, JPF, Japão.

Idiomas

Inglês

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

Alemão

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

Japonês

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

Norueguês

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

Á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: Otimização Combinatória.

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

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

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Matemática Aplicada/Especialidade: Matemática Discreta e Combinatória.

Participação em eventos

10th International Network Optimization Conference (INOC).Towards stronger Lagrangean bounds for stable spanning trees. 2022. (Simpósio).

34th Conference of the European Chapter on Combinatorial Optimization (ECCO).From fixed cardinality stable sets to conflict-free spanning trees. 2021. (Simpósio).

18th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW).The unsuitable neighbourhood inequality for the fixed cardinality stable set polytope. 2020. (Simpósio).

14th Cologne-Twente Workshop on Graphs and Combinatorial Optimization (CTW).Combinatorial relaxation bounds and preprocessing for berth allocation problems. 2016. (Simpósio).

16th Conference on Integer Programming and Combinatorial Optimization (IPCO). Formulations and branch and cut algorithm for spanning trees under disjunctive constraints. 2013. (Congresso).

VI IPCO Summer School: Recent Developments in Cuts for Mixed-Integer Programming (por François Margot), Extended formulations in combinatorial optimization - constructions and lower bounds (por Samuel Fiorini). 2013. (Oficina).

XLV Simpósio Brasileiro de Pesquisa Operacional.Um algoritmo de branch and cut para árvores geradoras mínimas sob restrições de conflito. 2013. (Simpósio).

XVI Congreso Latino-Iberoamericano de Investigación Operativa / XLIV Simpósio Brasileiro de Pesquisa Operacional (XVI CLAIO / XLIV SBPO). Projeto de uma Biblioteca Paralela de Grafos. 2012. (Congresso).

IX Metaheuristics International Conference (MIC 2011). Map Ants, Reduce Work. 2011. (Congresso).

Semana de Programação Massivamente Paralela, parte do Programa de Verão do Laboratório Nacional de Computação Científica (LNCC). 2011. (Outra).

Participação em bancas

Aluno: Morten Bergmann

GOEZ, J. C.;SAMER, PHILLIPPE; HEMMATI, A.. An Adaptive Heuristic for a Feeder Network with Optional Transshipment. 2022. Dissertação (Mestrado em Master of Science in Informatics) - Universitetet i Bergen.

Aluno: Marco Túlio Reis Rodrigues

CARVALHO, C. R. V.; SOUZA, M. C.; MAHEY, P.;Samer, Phillippe. Model building for a nurse rostering problem. 2015. Exame de qualificação (Mestrando em Modelling, Systems and Imaging) - Institut Supérieur d'Informatique, de Modélisation et de leurs Applications.

Orientou

Marco Túlio Reis Rodrigues

Model building for a nurse rostering problem (supervisor de estágio em mestrado acadêmico); 2015; Orientação de outra natureza; (Research Master Degree in Modelling, Systems and Imaging) - Institut Supérieur d'Informatique, de Modélisation et de leurs Applications, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Phillippe Samer Lallo Dias;

Produções bibliográficas

SAMER, PHILLIPPE ; HAUGLAND, DAG . Fixed cardinality stable sets. DISCRETE APPLIED MATHEMATICS , v. 303, p. 137-148, 2021.
SAMER, PHILLIPPE ; CAVALCANTE, EVELLYN ; URRUTIA, SEBASTIÁN ; OPPEN, JOHAN . The matching relaxation for a class of generalized set partitioning problems. DISCRETE APPLIED MATHEMATICS , v. 253, p. 153-166, 2019.
MELO, RAFAEL A. ; Samer, Phillippe ; URRUTIA, SEBASTIÁN . An effective decomposition approach and heuristics to generate spanning trees with a small number of branch vertices. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS , v. 65, p. 821-844, 2016.
CAVALCANTE, EVELLYN ; OPPEN, JOHAN ; SAMER, PHILLIPPE ; URRUTIA, SEBASTIÁN . Combinatorial Relaxation Bounds and Preprocessing for Berth Allocation Problems. ELECTRONIC NOTES IN DISCRETE MATHEMATICS , v. 55, p. 85-88, 2016.
Samer, Phillippe ; URRUTIA, SEBASTIÁN . A branch and cut algorithm for minimum spanning trees under conflict constraints. Optimization Letters (Print) , v. 9, p. 41-55, 2015.
SAMER, PHILLIPPE ; HAUGLAND, DAG . The unsuitable neighbourhood inequality for the fixed cardinality stable set polytope. In: Claudio Gentile; Giuseppe Stecca; Paolo Ventura. (Org.). Graphs and combinatorial optimization: from theory to applications. 1ed.Cham: Springer, 2020, v. 5, p. 107-116.
SAMER, PHILLIPPE ; HAUGLAND, DAG . Towards stronger Lagrangean bounds for stable spanning trees. In: 10th International Network Optimization Conference (INOC), 2022, Aachen, Alemanha. Proceedings of the 10th International Network Optimization Conference (INOC). Konstanz: OpenProceedings, 2022. p. 29-33.
CAVALCANTE, E. ; OPPEN, JOHAN ; Samer, Phillippe ; Urrutia, S. . Uma metodologia de relaxação combinatória para um problema de logística em portos. In: XLVIII Simpósio Brasileiro de Pesquisa Operacional, 2016, Vitória. Anais do XLVIII SBPO, 2016. p. 2526-2537.
Samer, Phillippe ; Urrutia, S. . Um algoritmo de branch and cut para árvores geradoras mínimas sob restrições de conflito. In: XLV Simpósio Brasileiro de Pesquisa Operacional, 2013, Natal. Anais do XLV SBPO, 2013.
Samer, Phillippe ; Sampaio, A. H. ; Milanés, A. ; Urrutia, S. . Designing a multicore graph library. In: The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, 2012, Madri, Espanha. IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA, 2012.
Samer, Phillippe ; Sampaio, A. H. ; Milanés, A. ; Urrutia, S. . Projeto de uma biblioteca paralela de grafos. In: XVI Congreso Latino-Iberoamericano de Investigación Operativa / XLIV Simpósio Brasileiro de Pesquisa Operacional, 2012, Rio de Janeiro. Anais do XVI CLAIO / XLIV SBPO, 2012.
Samer, Phillippe ; Pappa, G. L. ; H. A. de Lima ; Guedes, D. ; Meira Jr., W. . Map Ants, Reduce Work. In: IX Metaheuristics International Conference (MIC), 2011, Udine, Itália. Proceedings of the Ninth Metaheuristics International Conference, 2011.
MELO, R. C. ; GOMIDE, J. S. ; Samer, Phillippe ; MEIRA JUNIOR, W. ; SANTORO, M. M. . Mining structural signatures of proteins. In: III Workshop de Algoritmos e Aplicações em Mineração de Dados, 2007, João Pessoa. Anais do III Workshop de Algoritmos e Aplicações em Mineração de Dados, 2007.
GOMIDE, J. S. ; Samer, Phillippe ; MELO, R. C. ; SANTOS, M. A. ; SANTORO, M. M. ; MEIRA JUNIOR, W. . Using principal component analysis to classify protein structures. In: AB3C 3rd International Conference, 2007, São Paulo. Anais do AB3C 3rd International Conference, 2007.
SAMER, PHILLIPPE ; HAUGLAND, DAG . Polyhedral results and stronger Lagrangean bounds for stable spanning trees. Optimization Letters , 2022.
Samer, Phillippe ; Urrutia, S. . IPCO 2013 Poster Session: 'Formulations and branch and cut algorithm for spanning trees under disjunctive constraints'. 2013. (Apresentação de Trabalho/Comunicação).

Outras produções

CAVALCANTE, E. ; RODRIGUES, Marco Túlio R. ; Samer, Phillippe ; Sampaio, A. H. . Otimização no sequenciamento diário da explotação de blocos de lavra - Vale S.A. (ITV). 2015.

CAVALCANTE, E. ; RODRIGUES, Marco Túlio R. ; Samer, Phillippe ; Sampaio, A. H. . Otimização e adequação da escala de profissionais de enfermagem - Santa Casa de Misericórdia de Maceió. 2015.

Sampaio, A. H. ; CAVALCANTE, E. ; RODRIGUES, Marco Túlio R. ; Samer, Phillippe . Apostila: Treinamento em Gurobi e Python. 2014. (Desenvolvimento de material didático ou instrucional - Curso de curta duração ministrado na Vale S.A.).

Prêmios

2013

Um de três pesquisadores recomendado para prestigiada bolsa do Consulado Geral do Japão, MEXT/Monbukagakusho.

2013

Bolsa para participação no IPCO 2013 (16th Conference on Integer Programming and Combinatorial Optimization), Universidad Técnica Federico Santa María, Valparaíso, Chile.

Histórico profissional

Experiência profissional

2015 - 2016

Molde University College - Specialized University in Logistics

Vínculo: Professor Visitante, Enquadramento Funcional: Assistant Professor, Carga horária: 40

Outras informações:
Contrato de pesquisa no projeto "Port-Ship Coordinated Planning", financiado pelo Norwegian Research Council. Responsável por investigar problemas de otimização combinatória com aplicações em logística de portos.

2014 - 2016

In Optima Consultoria

Vínculo: Sócio fundador, Enquadramento Funcional: Diretor de operações

Outras informações:
Grupo de consultoria especializada em tecnologias de otimização e pesquisa operacional, com atuação em Belo Horizonte, Maceió e São Paulo.

2015 - 2016

Centro Federal de Educação Tecnológica de Minas Gerais

Vínculo: Servidor Público, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Outras informações:
Responsável pelas disciplinas de graduação: "Métodos Numéricos Computacionais", "Laboratório de Algoritmos e Estruturas de Dados I", "Laboratório de Algoritmos e Estruturas de Dados II".

2014 - 2015

Pontifícia Universidade Católica de Minas Gerais, PUC Minas

Vínculo: Celetista, Enquadramento Funcional: Professor Assistente, Carga horária: 40

Outras informações:
Responsável pelas disciplinas de graduação: "Teorias dos Grafos", "Otimização de Sistemas", "Laboratório de Algoritmos e Estruturas de Dados I", "Laboratório de Algoritmos e Estruturas de Dados II".

2013 - 2014

Laboratory for Algorithmics, Hokkaido University

Vínculo: Bolsista, Enquadramento Funcional: Pesquisador visitante, Carga horária: 40, Regime: Dedicação exclusiva.

Outras informações:
Estudo poliédrico e da complexidade de árvores geradoras independentes.

2012 - 2014

Universidade Federal de Minas Gerais

Vínculo: Bolsista, Enquadramento Funcional: Estagiário em Docência, Carga horária: 12

Outras informações:
Apoio docente na disciplina de Cálculo Numérico, como requisito para bolsistas no programa CAPES/REUNI.

2011 - 2012

Universidade Federal de Minas Gerais

Vínculo: Livre, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Bolsista de pesquisa no projeto da biblioteca Magical, oferecendo implementações paralelas (visando sistemas multicore) de algoritmos em Teoria dos Grafos, sob orientação do prof. Sebastián Urrutia e da profa. Anolan Milanés.

2007 - 2010

Universidade Federal de Minas Gerais

Vínculo: Livre, Enquadramento Funcional: Monitor, Carga horária: 12

Outras informações:
Monitor de disciplinas da graduação: Algoritmos e Estruturas de Dados III, Organização de Computadores I, Programação de Computadores.

2008 - 2008

Universidade Federal de Minas Gerais

Vínculo: Livre, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Bolsista de pesquisa em Linguagens de Programação e Ambientes de Desenvolvimento, sob orientação do prof. Roberto S. Bigonha.

2007 - 2007

Universidade Federal de Minas Gerais

Vínculo: Livre, Enquadramento Funcional: Bolsista de Iniciação Científica, Carga horária: 20, Regime: Dedicação exclusiva.

Outras informações:
Bolsista de pesquisa em Bioinformática Estrutural, sob orientação dos professores Wagner Meira Jr. e Raquel C. M. Minardi.

2011 - 2012

MAV Tecnologia

Vínculo: Celetista, Enquadramento Funcional: Analista de Desenvolvimento, Carga horária: 20

Outras informações:
Manutenção de sistemas de segurança para web e email, implementação de interfaces com usuário e funcionalidades de software em três camadas.

2010 - 2010

Sigma Automated Trading Systems

Vínculo: Colaborador, Enquadramento Funcional: Desenvolvedor, Carga horária: 20

Outras informações:
Desenvolvimento de técnicas e ferramentas para coleta e extração de dados de páginas web.

2014 - 2015

Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq

Vínculo: Bolsista, Enquadramento Funcional: Bolsista DTI-B, Carga horária: 40

Outras informações:
Pesquisador associado ao Laboratório de Computação Científica e Análise Numérica, do Centro de Pesquisas em Matemática Computacional (LaCCAN/CPMAT) da Universidade Federal de Alagoas (UFAL).

2019 - Atual

Universitetet i Bergen

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

Outras informações:
Atividades de pesquisa em combinatória e otimização, e de ensino na graduação (dois semestres como assistente) e pós-graduação (dois semestres como assistente, um como professor completo).